97 	struct cpu_info *ci;  in xen_ipi_handler()  local
126 	struct cpu_info *ci;  in xen_ipi_init()  local
168 xen_send_ipi(struct cpu_info *ci, uint32_t ipimask)  in xen_send_ipi()
192 	struct cpu_info *ci, *self = curcpu();  in xen_broadcast_ipi()  local
225 xen_ipi_halt(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_halt()
236 xen_ipi_synch_fpu(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_synch_fpu()
246 xen_ipi_ddb(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_ddb()
279 xen_ipi_xcall(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_xcall()
288 xen_ipi_ast(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_ast()
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_generic()
305 xen_ipi_hvcb(struct cpu_info *ci, struct intrframe *intrf)  in xen_ipi_hvcb()
316 xen_ipi_kpreempt(struct cpu_info *ci, struct intrframe * intrf)  in xen_ipi_kpreempt()
323 xc_send_ipi(struct cpu_info *ci)  in xc_send_ipi()
338 cpu_ipi(struct cpu_info *ci)  in cpu_ipi()