Data Fields | |
l4_addr_t | addr |
virtual address of the first byte | |
l4_size_t | size |
size of the section | |
l4dm_dataspace_t | ds |
underlaying dataspace | |
l4exec_info_t | info |
id/type of section |
l4_addr_t l4exec_section_t::addr |
virtual address of the first byte
l4_size_t l4exec_section_t::size |
size of the section
l4dm_dataspace_t l4exec_section_t::ds |
underlaying dataspace
id/type of section