efi_system_table_   33 arch/x86/boot/compressed/eboot.c 	efi_system_table_##bits##_t *table;				\
efi_system_table_  930 drivers/firmware/efi/libstub/efi-stub-helper.c 	efi_system_table_##bits##_t *sys_table;				\