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) */