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.