Symbol: acpicpu_debug_print
sys/dev/acpi/acpi_cpu.c
199
acpicpu_debug_print(self);
sys/dev/acpi/acpi_cpu.c
71
static void acpicpu_debug_print(device_t);