Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/eventpoll.c ep_loop_check_proc() -> list_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
BUF_SIZE 1 ctx->inserting_into s32min-(-1),1-s32max
DATA_SOURCE 1 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ep->mtx
HALF_LOCKED2 &ep->mtx
HALF_LOCKED2 global &epnested_mutex
TYPE_LOCK (struct eventpoll)->mtx

fs/eventpoll.c ep_register_epitem() -> list_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_ep 1-u64max
PARAM_VALUE 1 ctx 370896937267298304
DATA_SOURCE 1 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL