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

/netbsd-current/sys/arch/xen/include/
H A Dintr.h83 void xen_broadcast_ipi(uint32_t);
87 #define xen_broadcast_ipi(_i1) ((void) 0) /* nothing */ macro
/netbsd-current/sys/arch/xen/x86/
H A Dxen_ipi.c190 xen_broadcast_ipi(uint32_t ipimask) function
196 "xen_broadcast_ipi() called with invalid ipimask\n");
333 xen_broadcast_ipi(XEN_IPI_XCALL);
347 xen_broadcast_ipi(XEN_IPI_GENERIC);
H A Dcpu.c1269 xen_broadcast_ipi(XEN_IPI_HALT);
/netbsd-current/sys/arch/amd64/amd64/
H A Ddb_interface.c154 xen_broadcast_ipi(XEN_IPI_DDB);
/netbsd-current/sys/arch/i386/i386/
H A Ddb_interface.c156 xen_broadcast_ipi(XEN_IPI_DDB);

Completed in 207 milliseconds