Searched refs:vpid_free (Results 1 – 1 of 1) sorted by relevance
510 vpid_free(int vpid) in vpid_free() function568 vpid_free(vpid[i]); in vpid_alloc()3193 vpid_free(vmx->state[i].vpid); in vmx_cleanup()