mirror of
https://github.com/CloverHackyColor/CloverBootloader.git
synced 2024-12-02 13:03:28 +01:00
45 lines
1.0 KiB
C
45 lines
1.0 KiB
C
/******************************************************************************
|
|
* xen-x86_64.h
|
|
*
|
|
* Guest OS interface to x86 64-bit Xen.
|
|
*
|
|
* SPDX-License-Identifier: MIT
|
|
*
|
|
* Copyright (c) 2004-2006, K A Fraser
|
|
*/
|
|
|
|
#ifndef __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__
|
|
#define __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__
|
|
|
|
/*
|
|
* Hypercall interface:
|
|
* Input: %rdi, %rsi, %rdx, %r10, %r8, %r9 (arguments 1-6)
|
|
* Output: %rax
|
|
* Access is via hypercall page (set up by guest loader or via a Xen MSR):
|
|
* call hypercall_page + hypercall-number * 32
|
|
* Clobbered: argument registers (e.g., 2-arg hypercall clobbers %rdi,%rsi)
|
|
*/
|
|
|
|
#ifndef __ASSEMBLY__
|
|
|
|
struct arch_vcpu_info {
|
|
UINTN cr2;
|
|
UINTN pad; /* sizeof(vcpu_info_t) == 64 */
|
|
};
|
|
|
|
typedef struct arch_vcpu_info arch_vcpu_info_t;
|
|
|
|
#endif /* !__ASSEMBLY__ */
|
|
|
|
#endif /* __XEN_PUBLIC_ARCH_X86_XEN_X86_64_H__ */
|
|
|
|
/*
|
|
* Local variables:
|
|
* mode: C
|
|
* c-file-style: "BSD"
|
|
* c-basic-offset: 4
|
|
* tab-width: 4
|
|
* indent-tabs-mode: nil
|
|
* End:
|
|
*/
|