lapic_timer_propagate_broadcast  157 drivers/acpi/processor_idle.c static void lapic_timer_propagate_broadcast(struct acpi_processor *pr)
lapic_timer_propagate_broadcast  182 drivers/acpi/processor_idle.c static void lapic_timer_propagate_broadcast(struct acpi_processor *pr) { }