Searched refs:virtual_processor_id (Results 1 – 3 of 3) sorted by relevance
152 u16 virtual_processor_id; member655 *value = current_evmcs->virtual_processor_id; in evmcs_vmread()1179 current_evmcs->virtual_processor_id = value; in evmcs_vmwrite()
204 u16 virtual_processor_id;
1265 if (is_vmenter && vmcs12->virtual_processor_id != vmx->nested.last_vpid) { in nested_vmx_transition_tlb_flush()1266 vmx->nested.last_vpid = vmcs12->virtual_processor_id; in nested_vmx_transition_tlb_flush()1866 vmcs12->virtual_processor_id = evmcs->virtual_processor_id; in copy_enlightened_to_vmcs12()2944 CC(nested_cpu_has_vpid(vmcs12) && !vmcs12->virtual_processor_id)) in nested_check_vm_execution_controls()