Searched refs:VMCS_FIELD_WIDTH_U32 (Results 1 – 1 of 1) sorted by relevance
4810 VMCS_FIELD_WIDTH_U32 = 2, enumerator4817 return VMCS_FIELD_WIDTH_U32; in vmcs_field_width()8573 case VMCS_FIELD_WIDTH_U32: in vmcs12_read_any()8597 case VMCS_FIELD_WIDTH_U32: in vmcs12_write_any()
