Searched refs:checkpoint_cpu_resume (Results 1 – 3 of 3) sorted by relevance
336 checkpoint_cpu_resume(vcpu_id(vcpu)); in vmexit_mtrap()432 checkpoint_cpu_resume(vcpu_id(vcpu)); in vmexit_debug()451 checkpoint_cpu_resume(vcpu_id(vcpu)); in vmexit_db()
90 void checkpoint_cpu_resume(int vcpu);
1183 checkpoint_cpu_resume(int vcpu) in checkpoint_cpu_resume() function