Searched refs:vcpu_pause (Results 1 – 11 of 11) sorted by relevance
36 vcpu_pause(v); in altp2m_vcpu_initialise()54 vcpu_pause(v); in altp2m_vcpu_destroy()
906 void vcpu_pause(struct vcpu *v) in vcpu_pause() function940 vcpu_pause(v); in vcpu_pause_by_systemcontroller()1067 vcpu_pause(v); in domain_pause_except_self()1127 vcpu_pause(v); in vcpu_reset()
875 vcpu_pause(v); in do_domctl()
884 vcpu_pause(v); in arch_do_domctl()1130 vcpu_pause(v); in arch_do_domctl()1229 vcpu_pause(v); in arch_do_domctl()1323 vcpu_pause(v); in arch_do_domctl()1404 vcpu_pause(v); in arch_do_domctl()
580 vcpu_pause(v); /* acceptably dangerous */ in vcpu_show_execution_state()
808 void vcpu_pause(struct vcpu *v);
664 vcpu_pause(v); in pvpmu_finish()
276 vcpu_pause(target); in vlapic_init_sipi_one()
4818 vcpu_pause(v); in hvm_debug_op()
755 vcpu_pause(v); in vmx_vmcs_try_enter()
1242 vcpu_pause(v); /* acceptably dangerous */ in vcpu_show_execution_state()
Completed in 33 milliseconds