Searched refs:fbsdrun_deletecpu (Results 1 – 3 of 3) sorted by relevance
60 void fbsdrun_deletecpu(int vcpuid);
431 fbsdrun_deletecpu(int vcpu) in fbsdrun_deletecpu() function
535 fbsdrun_deletecpu(vcpuid); in vmexit_suspend()