Symbol: efi_acpi_show
sys/stand/efiboot/boot.c
428
efi_acpi_show();
sys/stand/efiboot/efiacpi.h
37
void efi_acpi_show(void);