Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/itimer.c do_setitimer() -> set_cpu_itimer()

Type Parameter Key Value
PARAM_VALUE 1 clock_id 1
PARAM_VALUE 2 value 2723399487440736256,5328421530173083648,6382164147630161920
PARAM_VALUE 3 ovalue 0,1261003380174594048,2632122348866363392
BUF_SIZE 3 ovalue (-1)-0,32
BUF_SIZE 3 ovalue (-1)-0,32
DATA_SOURCE 0 tsk r get_current
DATA_SOURCE 2 value $1
DATA_SOURCE 3 ovalue $2
BIT_INFO 3 ovalue 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 2 value->it_interval.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 2 value->it_interval.tv_sec s64min-s64max
USER_DATA 2 value->it_value.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 2 value->it_value.tv_sec s64min-s64max

kernel/time/itimer.c do_setitimer() -> set_cpu_itimer()

Type Parameter Key Value
PARAM_VALUE 1 clock_id 0
PARAM_VALUE 2 value 2723399487440736256,5328421530173083648,6382164147630161920
PARAM_VALUE 3 ovalue 0,1261003380174594048,2632122348866363392
BUF_SIZE 3 ovalue (-1)-0,32
BUF_SIZE 3 ovalue (-1)-0,32
DATA_SOURCE 0 tsk r get_current
DATA_SOURCE 2 value $1
DATA_SOURCE 3 ovalue $2
BIT_INFO 3 ovalue 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 2 value->it_interval.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 2 value->it_interval.tv_sec s64min-s64max
USER_DATA 2 value->it_value.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 2 value->it_value.tv_sec s64min-s64max