| _checksum_ro | Boot_info | [private, static] |
| _checksum_rw | Boot_info | [private, static] |
| _flag | Boot_info | [private, static] |
| _kmbi | Boot_info | [private, static] |
| _mbi_pa | Boot_info | [private, static] |
| get_checksum_ro(void) | Boot_info | [inline, static] |
| get_checksum_rw(void) | Boot_info | [inline, static] |
| get_flags(void) | Boot_info | [inline, static] |
| init() FIASCO_INIT | Boot_info | [static] |
| kmem_start(Address mem_max) | Boot_info | [inline, static] |
| kmemsize() | Boot_info | [static] |
| mbi_phys() | Boot_info | [inline, static] |
| mbi_virt() | Boot_info | [inline, static] |
| reset_checksum_ro(void) | Boot_info | [static] |
| set_checksum_ro(unsigned ro_cs) | Boot_info | [inline, static] |
| set_checksum_rw(unsigned rw_cs) | Boot_info | [inline, static] |
| set_flags(unsigned aflags) | Boot_info | [inline, static] |
| set_mbi_phys(Address phys) | Boot_info | [inline, static] |
