Searched refs:VMCS_VPID (Results 1 – 3 of 3) sorted by relevance
70 #define VMCS_VPID 0x00000000 macro
842 vmcs_write(VMCS_VPID, vpid[i]); in vmx_vminit()
2075 error = vm_get_vmcs_field(vcpu, VMCS_VPID, &vpid); in main()