Searched refs:checkpoint_cpu_add (Results 1 – 3 of 3) sorted by relevance
89 void checkpoint_cpu_add(int vcpu);
557 checkpoint_cpu_add(vi->vcpuid); in fbsdrun_start_thread()
1145 checkpoint_cpu_add(int vcpu) in checkpoint_cpu_add() function