Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 370896937267298304
PARAM_VALUE 0 ctx->inserting_into 4096-ptr_max
PARAM_VALUE 0 ctx->tfile_check_list (-1)
PARAM_VALUE 2 depth 0
BUF_SIZE 0 ctx->inserting_into s32min-(-2),1-s32max
BUF_SIZE 1 ep s32min-(-2),1-s32max
BUF_SIZE 1 ep s32min-(-2),1-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 ep $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &epnested_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 depth (-2147483614)-5
BUF_SIZE 0 ctx->inserting_into s32min-(-1),1-s32max
BUF_SIZE 1 ep s32min-(-2),1-s32max
BUF_SIZE 1 ep s32min-(-2),1-s32max
DATA_SOURCE 0 ctx $0
PARAM_COMPARE 0 ctx->inserting_into != $1
PARAM_COMPARE 1 ep != $0->inserting_into
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ep->mtx
HALF_LOCKED2 &ep->mtx
HALF_LOCKED2 global &epnested_mutex
TYPE_LOCK (struct eventpoll)->mtx