efi_table_hdr_t
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
const efi_table_hdr_t *hdr;
int __init efi_systab_check_header(const efi_table_hdr_t *systab_hdr)
void __init efi_systab_report_header(const efi_table_hdr_t *systab_hdr,
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
efi_table_hdr_t hdr;
extern int efi_systab_check_header(const efi_table_hdr_t *systab_hdr);
extern void efi_systab_report_header(const efi_table_hdr_t *systab_hdr,