Home
last modified time | relevance | path

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

/dragonfly/sys/dev/virtual/nvmm/x86/
H A Dnvmm_x86_vmx.c241 #define VMCS_VPID 0x00000000 macro
2896 vmx_vmwrite(VMCS_VPID, i); in vmx_asid_alloc()
2912 asid = vmx_vmread(VMCS_VPID); in vmx_asid_free()