Searched refs:platform_request_ipi (Results 1 – 3 of 3) sorted by relevance
22 void platform_request_ipi(int irq, /*irq_handler_t*/ void *handler);
112 void __init platform_request_ipi(int irq, void *handler) in platform_request_ipi() function
457 platform_request_ipi(IRQ_SUPPLE_0, ipi_handler_int0); in smp_prepare_cpus()458 platform_request_ipi(IRQ_SUPPLE_1, ipi_handler_int1); in smp_prepare_cpus()