efi_config_table_32_t   52 arch/x86/boot/compressed/acpi.c 			efi_config_table_32_t *tbl = (efi_config_table_32_t *)config_tables + i;
efi_config_table_32_t  529 drivers/firmware/efi/efi.c 			guid = ((efi_config_table_32_t *)tablep)->guid;
efi_config_table_32_t  530 drivers/firmware/efi/efi.c 			table = ((efi_config_table_32_t *)tablep)->table;
efi_config_table_32_t  636 drivers/firmware/efi/efi.c 		sz = sizeof(efi_config_table_32_t);