1 /* $NetBSD: intrdefs.h,v 1.13 2018/09/10 05:08:55 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 #define XEN_IPI_GENERIC 0x00000020 16 17 /* Note: IPI_KICK does not have a handler. */ 18 #define XEN_NIPIS 6 19 20 /* The number of 'irqs' that XEN understands */ 21 #define NUM_XEN_IRQS 256 22 23 #endif /* _XEN_INTRDEFS_H_ */ 24