Searched refs:xen_pvh_set_cr_flags (Results 1 – 1 of 1) sorted by relevance
1466 static void xen_pvh_set_cr_flags(int cpu) in xen_pvh_set_cr_flags() function1495 xen_pvh_set_cr_flags(cpu); in xen_pvh_secondary_vcpu_init()1509 xen_pvh_set_cr_flags(0); in xen_pvh_early_guest_init()