Symbol: get_session_index
drivers/tee/amdtee/core.c
141
u32 index = get_session_index(session);
drivers/tee/amdtee/core.c
323
i = get_session_index(session);
drivers/tee/amdtee/core.c
421
i = get_session_index(arg->session);