Searched refs:ns_sctlr (Results 1 – 3 of 3) sorted by relevance
131 u_register_t ns_sctlr; in sp_min_prepare_next_image_entry() local151 ns_sctlr = read_ctx_reg(gpregs, CTX_NS_SCTLR); in sp_min_prepare_next_image_entry()152 write_sctlr(ns_sctlr); in sp_min_prepare_next_image_entry()230 u_register_t ns_sctlr; in sp_min_warm_boot() local245 ns_sctlr = read_ctx_reg(gpregs, CTX_NS_SCTLR); in sp_min_warm_boot()246 write_sctlr(ns_sctlr); in sp_min_warm_boot()
148 u_register_t ns_sctlr; in bl1_prepare_next_image() local154 ns_sctlr = read_ctx_reg(get_regs_ctx(ctx), CTX_NS_SCTLR); in bl1_prepare_next_image()155 write_sctlr(ns_sctlr); in bl1_prepare_next_image()
932 u_register_t ns_sctlr, sctlr; in psci_get_ns_ep_info() local937 ns_sctlr = read_sctlr(); in psci_get_ns_ep_info()939 sctlr = scr & SCR_HCE_BIT ? read_hsctlr() : ns_sctlr; in psci_get_ns_ep_info()