Turnstone Operating System
|
Public Attributes | |
efi_table_header_t | header |
wchar_t * | firmware_vendor |
uint32_t | firmware_revision |
efi_handle_t | console_input_handle |
simple_input_interface_t * | console_input |
efi_handle_t | console_output_handle |
simple_text_output_interface_t * | console_output |
efi_handle_t | console_error_handle |
simple_text_output_interface_t * | console_error |
efi_runtime_services_t * | runtime_services |
efi_boot_services_t * | boot_services |
uint64_t | configuration_table_entry_count |
efi_configuration_table_t * | configuration_table |