Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/splice.c splice_to_pipe() -> (struct splice_pipe_desc)->spd_release()

Type Parameter Key Value
PARAM_VALUE 0 spd 1485611974750019584,4135889621907931136,6648999172527980544,7262589716006203392
PARAM_VALUE 0 spd->ops 4744293388163592192,8093923630298542080,9018435746095374336,9118897618270572544
PARAM_VALUE 0 spd->pages 16,4096-ptr_max
PARAM_VALUE 0 spd->partial 16,4096-ptr_max
PARAM_VALUE 0 spd->spd_release 344128986011680768,1770517288447332352,3206990954322411520,8929603758897913856
PARAM_VALUE 1 i 0-s32max
DATA_SOURCE 0 spd $1
CONTAINER 0 -32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 spd->nr_pages 1-524289[c]
USER_DATA 0 spd->nr_pages_max 1-524289[c]
HALF_LOCKED2 sk