On 11/2/18 1:41 PM, Richard Henderson wrote:
> + { .name = "LORID_EL1", .state = ARM_CP_STATE_AA64,
> + .opc0 = 3, .opc1 = 0, .crn = 10, .crm = 4, .opc2 = 7,
> + .access = PL1_RW, .type = ARM_CP_CONST, .resetvalue = 0 },For v2 this will be correctly marked RO. r~
