Searched refs:SCTLR_EL2 (Results 1 – 5 of 5) sorted by relevance
200 reg = SCTLR_EL2;
338 SCTLR_EL2, /* System Control Register (EL2) */ enumerator
116 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL2); in enter_exception64()
339 - SCTLR_EL2.EnTP2 (bit 60) must be initialised to 0b1.
2155 EL2_REG(SCTLR_EL2, access_rw, reset_val, SCTLR_EL2_RES1),
Completed in 13 milliseconds