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