Searched refs:checkpoint_cpu_resume (Results 1 – 3 of 3) sorted by relevance
342 checkpoint_cpu_resume(vcpu_id(vcpu)); in vmexit_mtrap()440 checkpoint_cpu_resume(vcpu_id(vcpu)); in vmexit_debug()459 checkpoint_cpu_resume(vcpu_id(vcpu)); in vmexit_db()
90 void checkpoint_cpu_resume(int vcpu);
1182 checkpoint_cpu_resume(int vcpu) in checkpoint_cpu_resume() function