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