Searched refs:set_current (Results 1 – 10 of 10) sorted by relevance
18 #define set_current(vcpu) do { current = (vcpu); } while (0) macro
61 #define set_current(vcpu) (get_cpu_info()->current_vcpu = (vcpu)) macro
304 set_current(idle_vcpu[cpuid]); in start_secondary()
75 set_current(idle_vcpu[0]); in init_idle_domain()716 set_current((struct vcpu *)0xfffff000); /* debug sanity */ in start_xen()
351 set_current(next); in context_switch()
2181 set_current(v); in construct_dom0()2195 set_current(saved_current); in construct_dom0()
146 static void set_current(int cpu, int domain) in set_current() function1004 set_current(cpu, domid); in qos_switch_in()
309 set_current(idle_vcpu[cpu]); in start_secondary()
250 set_current(idle_vcpu[0]); in init_idle_domain()678 set_current(INVALID_VCPU); /* debug sanity. */ in __start_xen()
1701 set_current(next); in context_switch()
Completed in 21 milliseconds