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.