1 /* $NetBSD: intrdefs.h,v 1.11 2011/11/07 15:51:31 cherry Exp $ */ 2 3 /* This file co-exists, and is included via machine/intrdefs.h */ 4 5 #ifndef _XEN_INTRDEFS_H_ 6 #define _XEN_INTRDEFS_H_ 7 8 /* Xen IPI types */ 9 #define XEN_IPI_KICK 0x00000000 10 #define XEN_IPI_HALT 0x00000001 11 #define XEN_IPI_SYNCH_FPU 0x00000002 12 #define XEN_IPI_DDB 0x00000004 13 #define XEN_IPI_XCALL 0x00000008 14 #define XEN_IPI_HVCB 0x00000010 15 16 #define XEN_NIPIS 5 /* IPI_KICK doesn't have a handler */ 17 18 #endif /* _XEN_INTRDEFS_H_ */ 19