Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/eventpoll.c do_epoll_ctl_file() -> ep_ctl_lock()

Type Parameter Key Value
PARAM_VALUE 0 ctx 370896937267298304
PARAM_VALUE 0 ctx->inserting_into 0
PARAM_VALUE 0 ctx->tfile_check_list (-1)
PARAM_VALUE 3 epfile 4096-ptr_max
PARAM_VALUE 3 epfile->f_op 4096-ptr_max
PARAM_VALUE 4 tfile 4096-ptr_max
PARAM_VALUE 4 tfile->f_op 4096-ptr_max
PARAM_VALUE 4 tfile->f_op->poll 1
BUF_SIZE 1 ep s32min-(-2),1-s32max
BUF_SIZE 1 ep s32min-(-2),1-s32max
DATA_SOURCE 2 op $1
DATA_SOURCE 3 epfile $0
DATA_SOURCE 5 nonblock $4
PARAM_COMPARE 3 epfile != $4
PARAM_COMPARE 3 epfile != $4
PARAM_COMPARE 4 tfile != $3
BIT_INFO 5 nonblock 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 op s32min-s32max