Searched refs:xen_cpuid_base (Results 1 – 8 of 8) 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()
88 base = xen_cpuid_base(); in init_hvm_pv_info()238 return xen_cpuid_base(); in xen_platform_hvm()
102 msr = cpuid_ebx(xen_cpuid_base() + 2); in xen_prepare_pvh()
1455 return xen_cpuid_base(); in xen_platform_pv()
434 uint32_t eax = cpuid_eax(xen_cpuid_base() + 4); in xen_msi_init()
598 if (xen_cpuid_base()) in xen_hvm_early_write()
725 base = xen_cpuid_base(); in xen_strict_xenbus_quirk()
1321 base = xen_cpuid_base(); in gnttab_need_v2()