Data Fields | |
l4_uint32_t | mod_start |
Starting address of module in memory. | |
l4_uint32_t | mod_end |
End address of module in memory. | |
l4_uint32_t | cmdline |
Module command line. | |
l4_uint32_t | pad |
padding to take it to 16 bytes |
l4_uint32_t l4util_mb_mod_t::mod_start |
Starting address of module in memory.
l4_uint32_t l4util_mb_mod_t::mod_end |
End address of module in memory.