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