Symbol: efi_acpi_enable
sys/stand/efiboot/boot.c
189
efi_acpi_enable(1);
sys/stand/efiboot/boot.c
191
efi_acpi_enable(0);
sys/stand/efiboot/efiacpi.h
40
void efi_acpi_enable(int);