1 /******************************************************************************
4 * Guest OS interface to x86 64-bit Xen.
6 * SPDX-License-Identifier: MIT
8 * Copyright (c) 2004-2006, K A Fraser
11 #ifndef __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__
12 #define __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__
15 * Hypercall interface:
16 * Input: %rdi, %rsi, %rdx, %r10, %r8, %r9 (arguments 1-6)
18 * Access is via hypercall page (set up by guest loader or via a Xen MSR):
19 * call hypercall_page + hypercall-number * 32
20 * Clobbered: argument registers (e.g., 2-arg hypercall clobbers %rdi,%rsi)
25 struct arch_vcpu_info
{
27 UINTN pad
; /* sizeof(vcpu_info_t) == 64 */
29 typedef struct arch_vcpu_info arch_vcpu_info_t
;
31 #endif /* !__ASSEMBLY__ */
33 #endif /* __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__ */
41 * indent-tabs-mode: nil