blob: 9998db994f9851f2b47ba5a77cf3d958ba25b70f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* $NetBSD: intrdefs.h,v 1.17 2020/04/25 15:26:17 bouyer Exp $ */
/* This file co-exists, and is included via machine/intrdefs.h */
#ifndef _XEN_INTRDEFS_H_
#define _XEN_INTRDEFS_H_
/* Xen IPI types */
#define XEN_IPI_HALT 0x00000001
#define XEN_IPI_SYNCH_FPU 0x00000002
#define XEN_IPI_DDB 0x00000004
#define XEN_IPI_XCALL 0x00000008
#define XEN_IPI_HVCB 0x00000010
#define XEN_IPI_GENERIC 0x00000020
#define XEN_IPI_AST 0x00000040
#define XEN_IPI_KPREEMPT 0x00000080
/* Note: IPI_KICK does not have a handler. */
#define XEN_NIPIS 8
/* The number of 'irqs' that XEN understands */
#define NUM_XEN_IRQS 256
#define XEN_IPI_NAMES { "halt IPI", "FPU synch IPI", \
"DDB IPI", "xcall IPI", \
"HVCB IPI", "generic IPI", \
"AST IPI", "kpreempt IPI" }
#endif /* _XEN_INTRDEFS_H_ */
|