Searched refs:xen_cpuid_base (Results 1 – 9 of 9) 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()
92 base = xen_cpuid_base(); in init_hvm_pv_info()232 if (xen_cpuid_base()) in xen_parse_nopv()281 uint32_t xen_domain = xen_cpuid_base(); in xen_platform_hvm()
37 msr = cpuid_ebx(xen_cpuid_base() + 2); in xen_pvh_init()
1417 return xen_cpuid_base(); in xen_platform_pv()
123 u32 msr = xen_cpuid_base(); in xen_prepare_pvh()
525 uint32_t eax = cpuid_eax(xen_cpuid_base() + 4); in xen_hvm_msi_init()
634 if (xen_cpuid_base()) in xen_hvm_early_write()
735 base = xen_cpuid_base(); in xen_strict_xenbus_quirk()
1441 base = xen_cpuid_base(); in gnttab_need_v2()
Completed in 18 milliseconds