xen_cpuid_base
uint32_t eax = cpuid_eax(xen_cpuid_base() + 4);
u32 msr = xen_cpuid_base();
if (xen_cpuid_base())
return cpuid_eax(xen_cpuid_base() + 4) & XEN_HVM_CPUID_EXT_DEST_ID;
uint32_t xen_domain = xen_cpuid_base();
base = xen_cpuid_base();
return xen_cpuid_base();
cpuid_count(xen_cpuid_base() + 3, 0, &eax, &ebx, &ecx, &edx);
if (xen_cpuid_base())
if ((cpuid_eax(xen_cpuid_base() + 4) & XEN_HVM_CPUID_UPCALL_VECTOR) &&
base = xen_cpuid_base();