Searched defs:sctlr (Results 1 – 2 of 2) sorted by relevance
169 u32 sctlr = vcpu_cp15(vcpu, c1_SCTLR); in prepare_fault32() local
351 u64 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1); in kvm_vcpu_set_be() local
