Searched refs:XEN_IPI_SYNCH_FPU (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/sys/arch/xen/include/ | ||
| H A D | intrdefs.h | 10 #define XEN_IPI_SYNCH_FPU 0x00000002 macro |
| /netbsd-src/sys/arch/xen/x86/ | ||
| H A D | xen_ipi.c | 156 XEN_IPI_DDB | XEN_IPI_SYNCH_FPU | in valid_ipimask() |