Searched refs:ns_sctlr (Results 1 – 3 of 3) sorted by relevance
117 u_register_t ns_sctlr; in sp_min_prepare_next_image_entry() local136 ns_sctlr = read_ctx_reg(get_regs_ctx(ctx), CTX_NS_SCTLR); in sp_min_prepare_next_image_entry()137 write_sctlr(ns_sctlr); in sp_min_prepare_next_image_entry()200 u_register_t ns_sctlr; in sp_min_warm_boot() local215 ns_sctlr = read_ctx_reg(get_regs_ctx(ctx), CTX_NS_SCTLR); in sp_min_warm_boot()216 write_sctlr(ns_sctlr); in sp_min_warm_boot()
153 u_register_t ns_sctlr; in bl1_prepare_next_image() local159 ns_sctlr = read_ctx_reg(get_regs_ctx(ctx), CTX_NS_SCTLR); in bl1_prepare_next_image()160 write_sctlr(ns_sctlr); in bl1_prepare_next_image()
611 u_register_t ns_sctlr, sctlr; in psci_get_ns_ep_info() local616 ns_sctlr = read_sctlr(); in psci_get_ns_ep_info()618 sctlr = scr & SCR_HCE_BIT ? read_hsctlr() : ns_sctlr; in psci_get_ns_ep_info()