interface/arch-x86/xen.h

1 /* SPDX-License-Identifier: MIT */
3  * arch-x86/xen.h
7  * Copyright (c) 2004-2006, K A Fraser
47 #include "xen-x86_32.h"
55 #include "xen-x86_64.h"
78  * start of the GDT because some stupid OSes export hard-coded selector values
79  * in their ABI. These hard-coded values are always near the start of the GDT,
99 /* Maximum number of virtual CPUs in legacy multi-processor guests. */
136 #define TI_GET_DPL(_ti)      ((_ti)->flags & 3)
137 #define TI_GET_IF(_ti)       ((_ti)->flags & 4)
138 #define TI_SET_DPL(_ti,_dpl) ((_ti)->flags |= (_dpl))
139 #define TI_SET_IF(_ti,_if)   ((_ti)->flags |= ((!!(_if))<<2))
142     uint8_t       flags;   /* 0-3: privilege level; 4: clear event enable?  */
159  * Note: VCPUOP_initialise for HVM guests is non-symetric with
164     struct { char x[512]; } fpu_ctxt;       /* User-level FPU registers     */
178     struct cpu_user_regs user_regs;         /* User-level CPU registers     */
184     unsigned long ctrlreg[8];               /* CR0-CR7 (control registers)  */
185     unsigned long debugreg[8];              /* DB0-DB7 (debug registers)    */
226      * been set to invalid e.g. due to the p2m being too large for the 3-level
345  * For other values of reg, returns ((unsigned long)-EINVAL).
350  * Prefix forces emulation of some non-trapping instructions.
373  * c-file-style: "BSD"
374  * c-basic-offset: 4
375  * tab-width: 4
376  * indent-tabs-mode: nil