1 /******************************************************************************
4 * Guest OS interface to x86 32-bit Xen.
6 * SPDX-License-Identifier: MIT
8 * Copyright (c) 2004-2007, K A Fraser
11 #ifndef __XEN_PUBLIC_ARCH_X86_XEN_X86_32_H__
12 #define __XEN_PUBLIC_ARCH_X86_XEN_X86_32_H__
15 * Hypercall interface:
16 * Input: %ebx, %ecx, %edx, %esi, %edi, %ebp (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 %ebx,%ecx)
25 struct arch_vcpu_info
{
27 UINTN pad
[5]; /* 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_32_H__ */
41 * indent-tabs-mode: nil