Symbol: acpitz_print_processor_list
sys/dev/acpi/acpi_tz.c
140
static void acpitz_print_processor_list(device_t);
sys/dev/acpi/acpi_tz.c
176
acpitz_print_processor_list(self);