Searched refs:vmcs_field_index (Results 1 – 2 of 2) sorted by relevance
193 static inline unsigned int vmcs_field_index(unsigned long field) in vmcs_field_index() function
6922 idx = vmcs_field_index(VMCS12_IDX_TO_ENC(i)); in nested_vmx_calc_vmcs_enum_msr()