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_ */