Searched refs:sctlr2 (Results 1 – 1 of 1) sorted by relevance
78 u64 sctlr2; in __effective_sctlr2_bit() local88 sctlr2 = vcpu_read_sys_reg(vcpu, SCTLR2_EL1); in __effective_sctlr2_bit()90 sctlr2 = vcpu_read_sys_reg(vcpu, SCTLR2_EL2); in __effective_sctlr2_bit()92 return sctlr2 & BIT(idx); in __effective_sctlr2_bit()