1 /****************************************************************************** 2 * xen-x86_64.h 3 * 4 * Guest OS interface to x86 64-bit Xen. 5 * 6 * Permission is hereby granted, free of charge, to any person obtaining a copy 7 * of this software and associated documentation files (the "Software"), to 8 * deal in the Software without restriction, including without limitation the 9 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or 10 * sell copies of the Software, and to permit persons to whom the Software is 11 * furnished to do so, subject to the following conditions: 12 * 13 * The above copyright notice and this permission notice shall be included in 14 * all copies or substantial portions of the Software. 15 * 16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 19 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING 21 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER 22 * DEALINGS IN THE SOFTWARE. 23 * 24 * Copyright (c) 2004-2006, K A Fraser 25 */ 26 27 #ifndef __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__ 28 #define __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__ 29 30 /* 31 * Hypercall interface: 32 * Input: %rdi, %rsi, %rdx, %r10, %r8, %r9 (arguments 1-6) 33 * Output: %rax 34 * Access is via hypercall page (set up by guest loader or via a Xen MSR): 35 * call hypercall_page + hypercall-number * 32 36 * Clobbered: argument registers (e.g., 2-arg hypercall clobbers %rdi,%rsi) 37 */ 38 39 #ifndef __ASSEMBLY__ 40 41 struct arch_vcpu_info { 42 UINTN cr2; 43 UINTN pad; /* sizeof(vcpu_info_t) == 64 */ 44 }; 45 typedef struct arch_vcpu_info arch_vcpu_info_t; 46 47 #endif /* !__ASSEMBLY__ */ 48 49 #endif /* __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__ */ 50 51 /* 52 * Local variables: 53 * mode: C 54 * c-file-style: "BSD" 55 * c-basic-offset: 4 56 * tab-width: 4 57 * indent-tabs-mode: nil 58 * End: 59 */ 60