Searched refs:c1_SCTLR (Results 1 – 3 of 3) sorted by relevance
76 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in get_except32_cpsr()159 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in prepare_fault32()
1988 { Op1( 0), CRn( 1), CRm( 0), Op2( 0), access_vm_reg, NULL, c1_SCTLR },
209 #define c1_SCTLR (SCTLR_EL1 * 2) /* System Control Register */ macro