Searched refs:VMCS_FIELD_WIDTH_U32 (Results 1 – 2 of 2) sorted by relevance
161 VMCS_FIELD_WIDTH_U32 = 2, enumerator168 return VMCS_FIELD_WIDTH_U32; in vmcs_field_width()
402 case VMCS_FIELD_WIDTH_U32: in vmcs12_read_any()421 case VMCS_FIELD_WIDTH_U32: in vmcs12_write_any()