Searched refs:xen_send_ipi (Results 1 - 5 of 5) sorted by relevance

/netbsd-current/sys/arch/xen/include/
H A Dintr.h82 int xen_send_ipi(struct cpu_info *, uint32_t);
86 #define xen_send_ipi(_i1, _i2) (0) /* nothing */ macro
/netbsd-current/sys/arch/xen/x86/
H A Dxen_ipi.c168 xen_send_ipi(struct cpu_info *ci, uint32_t ipimask) function
181 "xen_send_ipi() called with invalid ipimask\n");
213 if (0 != xen_send_ipi(ci, ipimask)) {
329 if (0 != xen_send_ipi(ci, XEN_IPI_XCALL)) {
330 panic("xen_send_ipi(XEN_IPI_XCALL) failed\n");
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");
H A Dhypervisor_machdep.c344 if (__predict_false(xen_send_ipi(ci, XEN_IPI_HVCB))) {
345 panic("xen_send_ipi(cpu%d id %d, XEN_IPI_HVCB) failed\n",
453 if (xen_send_ipi(ci, XEN_IPI_HVCB)) {
455 "xen_send_ipi(cpu%d id %d, XEN_IPI_HVCB) failed\n",
H A Dcpu.c1279 (void)xen_send_ipi(ci, XEN_IPI_AST);
/netbsd-current/sys/arch/x86/x86/
H A Dx86_machdep.c337 xen_send_ipi(ci, XEN_IPI_KPREEMPT);

Completed in 127 milliseconds