Symbol: efi_acpi_enabled
sys/stand/efiboot/boot.c
198
efi_acpi_enabled() ? "en" : "dis");
sys/stand/efiboot/efiacpi.h
39
int efi_acpi_enabled(void);