Searched defs:XEN_IPI_DDB (Results 1 - 1 of 1) sorted by relevance

/netbsd-6-1-5-RELEASE/sys/arch/xen/include/
H A Dintrdefs.h12 #define XEN_IPI_DDB 0x00000004 macro

Completed in 217 milliseconds