Searched refs:VMCS_FIELD_WIDTH_U32 (Results 1 – 2 of 2) sorted by relevance
169 VMCS_FIELD_WIDTH_U32 = 2, enumerator176 return VMCS_FIELD_WIDTH_U32; in vmcs_field_width()
395 case VMCS_FIELD_WIDTH_U32: in vmcs12_read_any()414 case VMCS_FIELD_WIDTH_U32: in vmcs12_write_any()