linux/include/xen/hvm.h

/* SPDX-License-Identifier: GPL-2.0 */
/* Simple wrappers around HVM functions */
#ifndef XEN_HVM_H__
#define XEN_HVM_H__

#include <xen/interface/hvm/params.h>
#include <asm/xen/hypercall.h>

static const char *param_name(int op)
{ … }
static inline int hvm_get_parameter(int idx, uint64_t *value)
{ … }

#define HVM_CALLBACK_VIA_TYPE_VECTOR …
#define HVM_CALLBACK_VIA_TYPE_SHIFT …
#define HVM_CALLBACK_VECTOR(x) …

void xen_setup_callback_vector(void);

int xen_set_upcall_vector(unsigned int cpu);

#endif /* XEN_HVM_H__ */