| @@ -1,22 +1,21 @@ | | | @@ -1,22 +1,21 @@ |
1 | /* $NetBSD: intrdefs.h,v 1.15 2020/04/03 22:20:36 ad Exp $ */ | | 1 | /* $NetBSD: intrdefs.h,v 1.16 2020/04/21 18:25:11 ad Exp $ */ |
2 | | | 2 | |
3 | /* This file co-exists, and is included via machine/intrdefs.h */ | | 3 | /* This file co-exists, and is included via machine/intrdefs.h */ |
4 | | | 4 | |
5 | #ifndef _XEN_INTRDEFS_H_ | | 5 | #ifndef _XEN_INTRDEFS_H_ |
6 | #define _XEN_INTRDEFS_H_ | | 6 | #define _XEN_INTRDEFS_H_ |
7 | | | 7 | |
8 | /* Xen IPI types */ | | 8 | /* Xen IPI types */ |
9 | #define XEN_IPI_KICK 0x00000000 | | | |
10 | #define XEN_IPI_HALT 0x00000001 | | 9 | #define XEN_IPI_HALT 0x00000001 |
11 | #define XEN_IPI_SYNCH_FPU 0x00000002 | | 10 | #define XEN_IPI_SYNCH_FPU 0x00000002 |
12 | #define XEN_IPI_DDB 0x00000004 | | 11 | #define XEN_IPI_DDB 0x00000004 |
13 | #define XEN_IPI_XCALL 0x00000008 | | 12 | #define XEN_IPI_XCALL 0x00000008 |
14 | #define XEN_IPI_HVCB 0x00000010 | | 13 | #define XEN_IPI_HVCB 0x00000010 |
15 | #define XEN_IPI_GENERIC 0x00000020 | | 14 | #define XEN_IPI_GENERIC 0x00000020 |
16 | #define XEN_IPI_AST 0x00000040 | | 15 | #define XEN_IPI_AST 0x00000040 |
17 | | | 16 | |
18 | /* Note: IPI_KICK does not have a handler. */ | | 17 | /* Note: IPI_KICK does not have a handler. */ |
19 | #define XEN_NIPIS 7 | | 18 | #define XEN_NIPIS 7 |
20 | | | 19 | |
21 | /* The number of 'irqs' that XEN understands */ | | 20 | /* The number of 'irqs' that XEN understands */ |
22 | #define NUM_XEN_IRQS 256 | | 21 | #define NUM_XEN_IRQS 256 |