Documented in 1 files:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfsd/nfs4state.c nfsd4_create_session() -> alloc_session()

Type Parameter Key Value
PARAM_VALUE 0 fattrs 4096-ptr_max
PARAM_VALUE 0 fattrs->maxops 0-200
PARAM_VALUE 0 fattrs->maxreqs 0-2048
PARAM_VALUE 0 fattrs->maxresp_cached 0-2128
PARAM_VALUE 1 battrs 4096-ptr_max
PARAM_VALUE 1 battrs->maxops 2-u32max
PARAM_VALUE 1 battrs->maxreq_sz 564-u32max
PARAM_VALUE 1 battrs->maxresp_sz 112-u32max

drivers/tee/amdtee/core.c amdtee_open_session() -> alloc_session()

Type Parameter Key Value
BUF_SIZE 0 fattrs 16
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 battrs 0-u32max
LOCK2 global &session_list_mutex