1 /* $NetBSD: intrdefs.h,v 1.17 2020/04/25 15:26:17 bouyer 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_HALT 0x00000001 10 #define XEN_IPI_SYNCH_FPU 0x00000002 11 #define XEN_IPI_DDB 0x00000004 12 #define XEN_IPI_XCALL 0x00000008 13 #define XEN_IPI_HVCB 0x00000010 14 #define XEN_IPI_GENERIC 0x00000020 15 #define XEN_IPI_AST 0x00000040 16 #define XEN_IPI_KPREEMPT 0x00000080 17 18 /* Note: IPI_KICK does not have a handler. */ 19 #define XEN_NIPIS 8 20 21 /* The number of 'irqs' that XEN understands */ 22 #define NUM_XEN_IRQS 256 23 24 #define XEN_IPI_NAMES { "halt IPI", "FPU synch IPI", \ 25 "DDB IPI", "xcall IPI", \ 26 "HVCB IPI", "generic IPI", \ 27 "AST IPI", "kpreempt IPI" } 28 29 #endif /* _XEN_INTRDEFS_H_ */ 30