smbios3            72 arch/x86/platform/efi/efi.c 	&efi.smbios3,
smbios3           634 drivers/firmware/dmi_scan.c 		if (efi.smbios3 != EFI_INVALID_TABLE_ADDR) {
smbios3           635 drivers/firmware/dmi_scan.c 			p = dmi_early_remap(efi.smbios3, 32);
smbios3            42 drivers/firmware/efi/efi.c 	.smbios3		= EFI_INVALID_TABLE_ADDR,
smbios3           128 drivers/firmware/efi/efi.c 	if (efi.smbios3 != EFI_INVALID_TABLE_ADDR)
smbios3           129 drivers/firmware/efi/efi.c 		str += sprintf(str, "SMBIOS3=0x%lx\n", efi.smbios3);
smbios3           468 drivers/firmware/efi/efi.c 	{SMBIOS3_TABLE_GUID, "SMBIOS 3.0", &efi.smbios3},
smbios3           989 include/linux/efi.h 	unsigned long smbios3;		/* SMBIOS table (64 bit entry point) */