Searched refs:fbsdrun_deletecpu (Results 1 – 3 of 3) sorted by relevance
52 void fbsdrun_deletecpu(int vcpuid);
463 fbsdrun_deletecpu(int vcpu) in fbsdrun_deletecpu() function
402 fbsdrun_deletecpu(vcpuid); in vmexit_suspend()