Symbol: TRACE_ACPI
src/system/boot/platform/bios_ia32/acpi.cpp
24
#ifdef TRACE_ACPI
src/system/boot/platform/efi/acpi.cpp
31
#ifdef TRACE_ACPI