Home
last modified time | relevance | path

Searched refs:efi_system_table (Results 1 – 2 of 2) sorted by relevance

/kernel/platform/pc/include/platform/pc/
A Dbootloader.h20 void* efi_system_table; member
/kernel/platform/pc/
A Dplatform.cpp101 bootloader.efi_system_table = (void*)*((uint64_t*)payload); in process_zbi_item()
372 if (bootloader.efi_system_table != NULL) { in platform_init_crashlog()
413 efi_system_table* sys = static_cast<efi_system_table*>(bootloader.efi_system_table); in efi_stow_crashlog()
529 if (bootloader.efi_system_table) { in platform_mexec_patch_zbi()
530 result = image.AppendSection(sizeof(bootloader.efi_system_table), in platform_mexec_patch_zbi()
533 (uint8_t*)&bootloader.efi_system_table); in platform_mexec_patch_zbi()
537 sizeof(bootloader.efi_system_table), result); in platform_mexec_patch_zbi()

Completed in 7 milliseconds