VIRTUAL_PROCESSOR_ID
EVMCS1_FIELD(VIRTUAL_PROCESSOR_ID, virtual_processor_id,
vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02);
vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);
FIELD(VIRTUAL_PROCESSOR_ID, virtual_processor_id),
case VIRTUAL_PROCESSOR_ID:
vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);
vmcs_read16(VIRTUAL_PROCESSOR_ID));
case VIRTUAL_PROCESSOR_ID:
case VIRTUAL_PROCESSOR_ID:
vmwrite(VIRTUAL_PROCESSOR_ID, 0);