Searched refs:VMCS_FIELD_WIDTH_U32 (Results 1 – 2 of 2) sorted by relevance
174 VMCS_FIELD_WIDTH_U32 = 2, enumerator181 return VMCS_FIELD_WIDTH_U32; in vmcs_field_width()
397 case VMCS_FIELD_WIDTH_U32: in vmcs12_read_any()416 case VMCS_FIELD_WIDTH_U32: in vmcs12_write_any()