Searched refs:xen_pvh_set_cr_flags (Results 1 – 1 of 1) sorted by relevance
1458 static void xen_pvh_set_cr_flags(int cpu) in xen_pvh_set_cr_flags() function1487 xen_pvh_set_cr_flags(cpu); in xen_pvh_secondary_vcpu_init()1501 xen_pvh_set_cr_flags(0); in xen_pvh_early_guest_init()