cpu_acpi_tprof_init
config_interrupts(self, cpu_acpi_tprof_init);
static void cpu_acpi_tprof_init(device_t);