interface/arch-x86/cpuid.h

1 /* SPDX-License-Identifier: MIT */
3  * arch-x86/cpuid.h
7  * Copyright (c) 2007 Citrix Systems, Inc.
30  * EAX: Largest Xen-information leaf. All leaves up to an including @EAX
32  * EBX-EDX: "XenVMMXenVMM" signature, allowing positive identification
43  * EBX-EDX: Reserved (currently all zeroes).
50  * EBX: Base address of Xen-specific MSRs.
61  * Sub-leaf 0: EAX: bit 0: emulated tsc
68  * Sub-leaf 1: EAX: tsc offset low part
70  *             ECX: multiplicator for tsc->ns conversion
71  *             EDX: shift amount for tsc->ns conversion
72  * Sub-leaf 2: EAX: host tsc frequency in kHz
77  * HVM-specific features
78  * Sub-leaf 0: EAX: Features
79  * Sub-leaf 0: EBX: vcpu id (iff EAX has XEN_HVM_CPUID_VCPU_ID_PRESENT flag)
80  * Sub-leaf 0: ECX: domain id (iff EAX has XEN_HVM_CPUID_DOMID_PRESENT flag)
89  * With interrupt format set to 0 (non-remappable) bits 55:49 from the
90  * IO-APIC RTE and bits 11:5 from the MSI address can be used to store
96  * Per-vCPU event channel upcalls work correctly with physical IRQs
103  * PV-specific parameters
104  * Sub-leaf 0: EAX: max available sub-leaf
105  * Sub-leaf 0: EBX: bits 0-7: max machine address width