| Zephyr Project API 4.1.0
    A Scalable Open Source RTOS | 
#include <efi.h>
| Data Fields | |
| void * | efi_systab | 
| unsigned long long | efi_cr3 | 
| void * | acpi_rsdp | 
| void* efi_boot_arg::acpi_rsdp | 
| unsigned long long efi_boot_arg::efi_cr3 | 
| void* efi_boot_arg::efi_systab |