xen/x86/xen_ipi.c

65 static void xen_ipi_ddb(struct cpu_info *, struct intrframe *);
68 static void xen_ipi_halt(struct cpu_info *, struct intrframe *);
69 static void xen_ipi_synch_fpu(struct cpu_info *, struct intrframe *);
70 static void xen_ipi_xcall(struct cpu_info *, struct intrframe *);
71 static void xen_ipi_hvcb(struct cpu_info *, struct intrframe *);
72 static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
73 static void xen_ipi_ast(struct cpu_info *, struct intrframe *);
74 static void xen_ipi_kpreempt(struct cpu_info *ci, struct intrframe *);
76 static void (*xen_ipifunc[XEN_NIPIS])(struct cpu_info *, struct intrframe *) =
93 xen_ipi_handler(void *arg, struct intrframe *regs)
225 xen_ipi_halt(struct cpu_info *ci, struct intrframe *intrf)
236 xen_ipi_synch_fpu(struct cpu_info *ci, struct intrframe *intrf)
246 xen_ipi_ddb(struct cpu_info *ci, struct intrframe *intrf)
279 xen_ipi_xcall(struct cpu_info *ci, struct intrframe *intrf)
288 xen_ipi_ast(struct cpu_info *ci, struct intrframe *intrf)
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf)
305 xen_ipi_hvcb(struct cpu_info *ci, struct intrframe *intrf)
316 xen_ipi_kpreempt(struct cpu_info *ci, struct intrframe * intrf)