Searched defs:addr_efi (Results 1 – 2 of 2) sorted by relevance
| /freebsd-src/sys/dev/ipmi/ | ||
| H A D | ipmi_smbios.c | 154 void *addr_efi; in ipmi_smbios_probe() local |
| /freebsd-src/sys/dev/smbios/ | ||
| H A D | smbios.c | 81 void *addr_efi; in smbios_identify() local |