Searched defs:sctlr_el1 (Results 1 – 2 of 2) sorted by relevance
129 u_register_t sctlr_el1 = read_ctx_reg(get_el1_sysregs_ctx(ctx), CTX_SCTLR_EL1); in spm_sp_setup() local
241 uint64_t sctlr_el1, tcr_el1; in aarch64_vcpu_setup() local