Symbol: efi_table_header
headers/private/kernel/platform/efi/boot-services.h
87
efi_table_header Hdr;
headers/private/kernel/platform/efi/runtime-services.h
111
efi_table_header Hdr;
headers/private/kernel/platform/efi/system-table.h
35
efi_table_header Hdr;