Symbol: efi_acpi_probe
sys/stand/efiboot/efiacpi.h
36
int efi_acpi_probe(void);
sys/stand/efiboot/efiboot.c
101
efi_acpi_probe();