Does anyone know if the STM32 documentation mentions how to treat unused space, consider the GPIO layout:

Each GPIO is a set of registers, and the entire set does not occupy 1K yet each GPIO is aligned on a 1K boundary, so there is unused memory between the end of one GPIO register set and the start of the next.
I fully expect that memory to be avoided, never accessed by our code but the issue seems to not be mentioned anywhere, does anyone know about this?

Each GPIO is a set of registers, and the entire set does not occupy 1K yet each GPIO is aligned on a 1K boundary, so there is unused memory between the end of one GPIO register set and the start of the next.
I fully expect that memory to be avoided, never accessed by our code but the issue seems to not be mentioned anywhere, does anyone know about this?