Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tee/amdtee/core.c amdtee_close_session() -> get_session_index()

Type Parameter Key Value
DATA_SOURCE 0 session $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 session 0-u32max
LOCK2 global &session_list_mutex

drivers/tee/amdtee/core.c amdtee_invoke_func() -> get_session_index()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 session 0-u32max
LOCK2 global &session_list_mutex

drivers/tee/amdtee/core.c find_session() -> get_session_index()

Type Parameter Key Value
DATA_SOURCE 0 session $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 session 0-u32max
LOCK2 global &session_list_mutex