Symbol: EFI_TABLE_SMBIOS
sys/dev/ipmi/ipmi_smbios.c
153
efi_guid_t efi_smbios = EFI_TABLE_SMBIOS;
sys/dev/smbios/smbios.c
79
efi_guid_t efi_smbios = EFI_TABLE_SMBIOS;