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

/netbsd-6-1-5-RELEASE/sys/arch/xen/include/
H A Dintr.h180 void xen_broadcast_ipi(uint32_t);
184 #define xen_broadcast_ipi(_i1) ((void) 0) /* nothing */ macro
/netbsd-6-1-5-RELEASE/sys/arch/xen/x86/
H A Dxen_ipi.c178 xen_broadcast_ipi(uint32_t ipimask) function
184 "xen_broadcast_ipi() called with invalid ipimask\n");
296 xen_broadcast_ipi(XEN_IPI_XCALL);
H A Dcpu.c1338 xen_broadcast_ipi(XEN_IPI_HALT);
/netbsd-6-1-5-RELEASE/sys/arch/amd64/amd64/
H A Ddb_interface.c135 xen_broadcast_ipi(XEN_IPI_DDB);
/netbsd-6-1-5-RELEASE/sys/arch/i386/i386/
H A Ddb_interface.c140 xen_broadcast_ipi(XEN_IPI_DDB);

Completed in 190 milliseconds