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