NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include <mbi.h>
Public Attributes | |
unsigned | flags |
unsigned | mem_lower |
unsigned | mem_upper |
unsigned | boot_device |
unsigned | cmdline |
unsigned | mods_count |
unsigned | mods_addr |
unsigned | dummy0 [4] |
unsigned | mmap_length |
unsigned | mmap_addr |
unsigned | dummy1 [3] |
unsigned | boot_loader_name |
unsigned mbi::boot_device |
unsigned mbi::boot_loader_name |
unsigned mbi::cmdline |
unsigned mbi::dummy0[4] |
unsigned mbi::dummy1[3] |
unsigned mbi::flags |
unsigned mbi::mem_lower |
unsigned mbi::mem_upper |
unsigned mbi::mmap_addr |
unsigned mbi::mmap_length |
unsigned mbi::mods_addr |
unsigned mbi::mods_count |