Data Fields | |
| l4_uint32_t | struct_size |
| l4_uint64_t | addr |
| <Size of structure | |
| l4_uint64_t | size |
| <Start address | |
| l4_uint32_t | type |
| <Size of memory range | |
..with a "size" parameter on the front which is the structure size - 4, pointing to the next one, up until the full buffer length of the memory map has been reached.