efi_table_header_t 131 boot/genarch/include/genarch/efi.h efi_table_header_t hdr; efi_table_header_t 181 boot/genarch/include/genarch/efi.h efi_table_header_t hdr;