Searched refs:fbsdrun_deletecpu (Results 1 – 4 of 4) sorted by relevance
113 fbsdrun_deletecpu(vcpuid); in vmexit_suspend()
408 fbsdrun_deletecpu(vcpuid); in vmexit_suspend()
424 fbsdrun_deletecpu(int vcpu) in fbsdrun_deletecpu() function