Searched refs:addr_efi (Results 1 – 2 of 2) sorted by relevance
81 void *addr_efi; in smbios_identify() local95 if (!efi_get_table(&efi_smbios3, &addr_efi)) { in smbios_identify()96 addr = (vm_paddr_t)addr_efi; in smbios_identify()98 } else if (!efi_get_table(&efi_smbios, &addr_efi)) { in smbios_identify()99 addr = (vm_paddr_t)addr_efi; in smbios_identify()
154 void *addr_efi; in ipmi_smbios_probe() local164 if (!efi_get_table(&efi_smbios, &addr_efi)) in ipmi_smbios_probe()165 addr = (vm_paddr_t)addr_efi; in ipmi_smbios_probe()