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