Home
last modified time | relevance | path

Searched refs:vpid_free (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c519 vpid_free(int vpid) in vpid_free() function
3247 vpid_free(vcpu->state.vpid); in vmx_vcpu_cleanup()