1 | /* $NetBSD: intrdefs.h,v 1.12 2014/05/19 22:47:54 rmind 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 | #endif /* _XEN_INTRDEFS_H_ */ |
21 | |