Searched refs:vmc_space_release (Results 1 – 1 of 1) sorted by relevance
221 static void vmc_space_release(vm_client_t *, bool);736 vmc_space_release(vmc, kick_on_cpu); in vmspace_hold_exit()1127 vmc_space_release(vm_client_t *vmc, bool kick_on_cpu) in vmc_space_release() function