drivers/tee/amdtee/amdtee_private.h

60

u32 session_info[TEE_NUM_SESSIONS];

drivers/tee/amdtee/amdtee_private.h

61

DECLARE_BITMAP(sess_mask, TEE_NUM_SESSIONS);

drivers/tee/amdtee/core.c

144

if (index >= TEE_NUM_SESSIONS)

drivers/tee/amdtee/core.c

284

i = find_first_zero_bit(sess->sess_mask, TEE_NUM_SESSIONS);

drivers/tee/amdtee/core.c

285

if (i < TEE_NUM_SESSIONS) {

drivers/tee/amdtee/core.c

292

if (i >= TEE_NUM_SESSIONS) {

drivers/tee/amdtee/core.c

293

pr_err("reached maximum session count %d\n", TEE_NUM_SESSIONS);

drivers/tee/amdtee/core.c

58

for (i = 0; i < TEE_NUM_SESSIONS; ++i) {