efi_system_table_32_t  160 arch/x86/boot/compressed/acpi.c 		efi_system_table_32_t *stbl = (efi_system_table_32_t *)systab;
efi_system_table_32_t  102 arch/x86/kernel/machine_kexec_64.c 		mend = mstart + sizeof(efi_system_table_32_t);
efi_system_table_32_t  380 arch/x86/platform/efi/efi.c 		efi_system_table_32_t *systab32;
efi_system_table_32_t  645 arch/x86/platform/efi/efi_64.c 	rt = (u32 *)(table + offsetof(efi_system_table_32_t, runtime));	 \