Searched refs:checkpoint_cpu_add (Results 1 – 3 of 3) sorted by relevance
88 void checkpoint_cpu_add(int vcpu);
537 checkpoint_cpu_add(vcpu); in fbsdrun_start_thread()
1260 checkpoint_cpu_add(int vcpu) in checkpoint_cpu_add() function