Searched refs:VIRTUAL_PROCESSOR_ID (Results 1 – 4 of 4) sorted by relevance
363 VIRTUAL_PROCESSOR_ID = 0x00000000, enumerator
1909 vmr16(VIRTUAL_PROCESSOR_ID), vmr(VM_FUNCTION_CONTROL)); in vmcs_dump_vcpu()
1214 uint32_t new_vpid = get_vvmcs(v, VIRTUAL_PROCESSOR_ID); in virtual_vmentry()
4250 __vmwrite(VIRTUAL_PROCESSOR_ID, new_asid); in vmx_vmenter_helper()
Completed in 18 milliseconds