Searched refs:VIRTUAL_PROCESSOR_ID (Results 1 – 2 of 2) sorted by relevance
116 VIRTUAL_PROCESSOR_ID = 0x00000000, enumerator
687 FIELD(VIRTUAL_PROCESSOR_ID, virtual_processor_id),4954 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid); in vmx_vcpu_reset()8067 vmcs_read16(VIRTUAL_PROCESSOR_ID)); in dump_vmcs()9731 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02); in prepare_vmcs02()9737 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid); in prepare_vmcs02()