Home
last modified time | relevance | path

Searched refs:default_send_IPI_single (Results 1 – 4 of 4) sorted by relevance

/arch/x86/kernel/apic/
Dlocal.h57 void default_send_IPI_single(int cpu, int vector);
Dprobe_32.c91 .send_IPI = default_send_IPI_single,
Dapic_flat_64.c135 .send_IPI = default_send_IPI_single,
Dipi.c225 void default_send_IPI_single(int cpu, int vector) in default_send_IPI_single() function