Searched refs:xen_cpuid_base (Results 1 – 6 of 6) sorted by relevance
41 static inline uint32_t xen_cpuid_base(void) in xen_cpuid_base() function56 return (xen_cpuid_base() != 0); in xen_x2apic_para_available()
90 base = xen_cpuid_base(); in init_hvm_pv_info()217 if (xen_cpuid_base()) in xen_parse_nopv()259 uint32_t xen_domain = xen_cpuid_base(); in xen_platform_hvm()
35 msr = cpuid_ebx(xen_cpuid_base() + 2); in xen_pvh_init()
1450 return xen_cpuid_base(); in xen_platform_pv()
123 u32 msr = xen_cpuid_base(); in xen_prepare_pvh()
435 uint32_t eax = cpuid_eax(xen_cpuid_base() + 4); in xen_msi_init()