Home
last modified time | relevance | path

Searched refs:ctx_idx (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-m-3.7.0/secure_fw/spm/ns_client_ext/
Dtfm_ns_client_ext.c70 uint8_t ctx_idx; in tfm_nsce_release_ctx() local
83 ctx_idx = NS_CLIENT_TOKEN_TO_CTX_IDX(token); in tfm_nsce_release_ctx()
88 if (!release_ns_ctx(gid, tid, ctx_idx)) { in tfm_nsce_release_ctx()
98 uint8_t ctx_idx; in tfm_nsce_load_ctx() local
116 ctx_idx = NS_CLIENT_TOKEN_TO_CTX_IDX(token); in tfm_nsce_load_ctx()
121 if (!load_ns_ctx(gid, tid, nsid, ctx_idx)) { in tfm_nsce_load_ctx()
131 uint8_t ctx_idx; in tfm_nsce_save_ctx() local
144 ctx_idx = NS_CLIENT_TOKEN_TO_CTX_IDX(token); in tfm_nsce_save_ctx()
149 if (!save_ns_ctx(gid, tid, ctx_idx)) { in tfm_nsce_save_ctx()