1 /* $NetBSD: intrdefs.h,v 1.14 2019/11/23 19:40:38 ad 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 #define XEN_IPI_AST 0x00000040 17 18 /* Note: IPI_KICK does not have a handler. */ 19 #define XEN_NIPIS 7 20 21 /* The number of 'irqs' that XEN understands */ 22 #define NUM_XEN_IRQS 256 23 24 #endif /* _XEN_INTRDEFS_H_ */ 25