Searched refs:ns_sctlr (Results 1 – 3 of 3) sorted by relevance
129 u_register_t ns_sctlr; in sp_min_prepare_next_image_entry() local148 ns_sctlr = read_ctx_reg(get_regs_ctx(ctx), CTX_NS_SCTLR); in sp_min_prepare_next_image_entry()149 write_sctlr(ns_sctlr); in sp_min_prepare_next_image_entry()212 u_register_t ns_sctlr; in sp_min_warm_boot() local227 ns_sctlr = read_ctx_reg(get_regs_ctx(ctx), CTX_NS_SCTLR); in sp_min_warm_boot()228 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()
693 u_register_t ns_sctlr, sctlr; in psci_get_ns_ep_info() local698 ns_sctlr = read_sctlr(); in psci_get_ns_ep_info()700 sctlr = scr & SCR_HCE_BIT ? read_hsctlr() : ns_sctlr; in psci_get_ns_ep_info()