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