/******************************************************************************
|
* arch-x86/xen.h
|
*
|
* Guest OS interface to x86 Xen.
|
*
|
* SPDX-License-Identifier: MIT
|
*
|
* Copyright (c) 2004-2006, K A Fraser
|
*/
|
|
#include "../xen.h"
|
|
#ifndef __XEN_PUBLIC_ARCH_X86_XEN_H__
|
#define __XEN_PUBLIC_ARCH_X86_XEN_H__
|
|
/* Structural guest handles introduced in 0x00030201. */
|
#if __XEN_INTERFACE_VERSION__ >= 0x00030201
|
#define ___DEFINE_XEN_GUEST_HANDLE(name, type) \
|
typedef struct { type *p; } __guest_handle_ ## name
|
#else
|
#define ___DEFINE_XEN_GUEST_HANDLE(name, type) \
|
typedef type * __guest_handle_ ## name
|
#endif
|
|
/*
|
* XEN_GUEST_HANDLE represents a guest pointer, when passed as a field
|
* in a struct in memory.
|
* XEN_GUEST_HANDLE_PARAM represent a guest pointer, when passed as an
|
* hypercall argument.
|
* XEN_GUEST_HANDLE_PARAM and XEN_GUEST_HANDLE are the same on X86 but
|
* they might not be on other architectures.
|
*/
|
#define __DEFINE_XEN_GUEST_HANDLE(name, type) \
|
___DEFINE_XEN_GUEST_HANDLE(name, type); \
|
___DEFINE_XEN_GUEST_HANDLE(const_##name, const type)
|
#define DEFINE_XEN_GUEST_HANDLE(name) __DEFINE_XEN_GUEST_HANDLE(name, name)
|
#define __XEN_GUEST_HANDLE(name) __guest_handle_ ## name
|
#define XEN_GUEST_HANDLE(name) __XEN_GUEST_HANDLE(name)
|
#define XEN_GUEST_HANDLE_PARAM(name) XEN_GUEST_HANDLE(name)
|
#define set_xen_guest_handle_raw(hnd, val) do { (hnd).p = val; } while (0)
|
#ifdef __XEN_TOOLS__
|
#define get_xen_guest_handle(val, hnd) do { val = (hnd).p; } while (0)
|
#endif
|
#define set_xen_guest_handle(hnd, val) set_xen_guest_handle_raw(hnd, val)
|
|
#if defined(MDE_CPU_IA32)
|
#include "xen-x86_32.h"
|
#elif defined(MDE_CPU_X64)
|
#include "xen-x86_64.h"
|
#endif
|
|
#ifndef __ASSEMBLY__
|
typedef UINTN xen_pfn_t;
|
#define PRI_xen_pfn "lx"
|
#endif
|
|
#define XEN_HAVE_PV_UPCALL_MASK 1
|
|
/* Maximum number of virtual CPUs in legacy multi-processor guests. */
|
#define XEN_LEGACY_MAX_VCPUS 32
|
|
#ifndef __ASSEMBLY__
|
|
typedef UINTN xen_ulong_t;
|
#define PRI_xen_ulong "lx"
|
|
typedef UINT64 tsc_timestamp_t; /* RDTSC timestamp */
|
|
#ifdef MDE_CPU_IA32
|
#pragma pack(4)
|
#endif
|
struct arch_shared_info {
|
UINTN max_pfn; /* max pfn that appears in table */
|
/* Frame containing list of mfns containing list of mfns containing p2m. */
|
xen_pfn_t pfn_to_mfn_frame_list_list;
|
UINTN nmi_reason;
|
UINT64 pad[32];
|
};
|
typedef struct arch_shared_info arch_shared_info_t;
|
#ifdef MDE_CPU_IA32
|
#pragma pack()
|
#endif
|
|
#endif /* !__ASSEMBLY__ */
|
|
#endif /* __XEN_PUBLIC_ARCH_X86_XEN_H__ */
|
|
/*
|
* Local variables:
|
* mode: C
|
* c-file-style: "BSD"
|
* c-basic-offset: 4
|
* tab-width: 4
|
* indent-tabs-mode: nil
|
* End:
|
*/
|
