Searched refs:active_ns_ctx_index (Results 1 – 1 of 1) sorted by relevance
20 static uint8_t active_ns_ctx_index = TFM_NS_CONTEXT_MAX; variable31 active_ns_ctx_index = TFM_NS_CONTEXT_MAX; in init_ns_ctx()110 if (idx == active_ns_ctx_index) { in release_ns_ctx()116 active_ns_ctx_index = TFM_NS_CONTEXT_MAX; in release_ns_ctx()155 active_ns_ctx_index = idx; in load_ns_ctx()164 if ((idx != active_ns_ctx_index) || (idx >= TFM_NS_CONTEXT_MAX)) { in save_ns_ctx()178 active_ns_ctx_index = TFM_NS_CONTEXT_MAX; in save_ns_ctx()189 if (active_ns_ctx_index < TFM_NS_CONTEXT_MAX) { in get_nsid_from_active_ns_ctx()190 ret = ns_ctx_data[active_ns_ctx_index].nsid; in get_nsid_from_active_ns_ctx()