Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/posix-clock.c posix_clock_release() -> (struct posix_clock_operations)->release()

Type Parameter Key Value
PARAM_VALUE 0 pccontext 4096-ptr_max
PARAM_VALUE 0 pccontext->clk 4096-ptr_max
PARAM_VALUE 0 pccontext->clk->ops.release 1-u64max
BUF_SIZE 0 pccontext (-1),26
BUF_SIZE 0 pccontext (-1),26
RX_PATH
TASK_NOT_RUNNING