| Turnstone Operating System
    | 
system information struct More...
#include <systeminfo.h>
| Public Attributes | |
| uint8_t * | mmap_data | 
| uefi mmap data | |
| uint64_t | mmap_size | 
| uefi mmap size | |
| uint64_t | mmap_descriptor_size | 
| uefi mmap descriptor size | |
| uint64_t | mmap_descriptor_version | 
| uefi mmap descriptor version | |
| uint64_t | boot_type | 
| boot type | |
| video_frame_buffer_t * | frame_buffer | 
| video frame buffer address, delivered from uefi | |
| uint64_t | acpi_version | 
| acpi table version | |
| void * | acpi_table | 
| acpi table address | |
| uint64_t | program_header_virtual_start | 
| program virtual start address | |
| uint64_t | program_header_physical_start | 
| program physical start address | |
| efi_system_table_t * | efi_system_table | 
| accessing efi tables from kernel | |
| uint64_t | smbios_version | 
| smbios table version | |
| void * | smbios_table | 
| smbios table address | |
| uint64_t | pxe_tosdb_size | 
| pxe tosdb size | |
| uint64_t | pxe_tosdb_address | 
| pxe tosdb address | |
| uint64_t | random_seed | 
| random seed | |
| uint64_t | spool_size | 
| spool size | |
| uint64_t | spool_physical_start | 
| spool physical start | |
| uint64_t | spool_virtual_start | 
| spool virtual start | |
system information struct
| uint64_t system_info_t::boot_type | 
boot type