Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 value 6382164147630161920
PARAM_VALUE 1 value->it_interval.tv_sec s32min-s32max
PARAM_VALUE 1 value->it_value.tv_sec s32min-s32max
PARAM_VALUE 2 ovalue 0,1261003380174594048
BUF_SIZE 2 ovalue 0,32
DATA_SOURCE 0 which $0
BIT_INFO 2 ovalue 0x0,0x117ffbe4a7dfa000
USER_DATA 0 which s32min-s32max
USER_DATA 1 value->it_interval.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 1 value->it_interval.tv_sec s32min-s32max
USER_DATA 1 value->it_value.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 1 value->it_value.tv_sec s32min-s32max

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

Type Parameter Key Value
PARAM_VALUE 1 value 6382164147630161920
PARAM_VALUE 1 value->it_interval.tv_sec s32min-s32max
PARAM_VALUE 1 value->it_value.tv_sec s32min-s32max
PARAM_VALUE 2 ovalue 0,1261003380174594048
BUF_SIZE 2 ovalue 0,32
DATA_SOURCE 0 which $0
BIT_INFO 2 ovalue 0x0,0x117ffbe4a7dfa000
USER_DATA 0 which s32min-s32max
USER_DATA 1 value->it_interval.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 1 value->it_interval.tv_sec s32min-s32max
USER_DATA 1 value->it_value.tv_nsec (-2147483648000)-(-1000),0-2147483647000
USER_DATA 1 value->it_value.tv_sec s32min-s32max

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

Type Parameter Key Value
PARAM_VALUE 1 value 2723399487440736256
PARAM_VALUE 2 ovalue 0,2632122348866363392
BUF_SIZE 2 ovalue 0,32
DATA_SOURCE 0 which $0
BIT_INFO 2 ovalue 0x0,0x24872d54a98be000
USER_DATA 0 which s32min-s32max
USER_DATA 1 value->it_interval.tv_sec s64min-s64max
USER_DATA 1 value->it_value.tv_sec s64min-s64max

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

Type Parameter Key Value
PARAM_VALUE 1 value 2723399487440736256
PARAM_VALUE 2 ovalue 0,2632122348866363392
BUF_SIZE 2 ovalue 0,32
DATA_SOURCE 0 which $0
BIT_INFO 2 ovalue 0x0,0x24872d54a98be000
USER_DATA 0 which s32min-s32max
USER_DATA 1 value->it_interval.tv_sec s64min-s64max
USER_DATA 1 value->it_value.tv_sec s64min-s64max

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

Type Parameter Key Value
PARAM_VALUE 0 which 0
PARAM_VALUE 1 value 7072820686396694528
PARAM_VALUE 1 value->it_interval.tv_nsec 0
PARAM_VALUE 1 value->it_interval.tv_sec 0
PARAM_VALUE 1 value->it_value.tv_nsec 0
PARAM_VALUE 1 value->it_value.tv_sec 0-4294967295
PARAM_VALUE 2 ovalue 7004490625024131072
NOCHECK_CALL
USER_DATA 1 value->it_value.tv_sec 0-4294967295

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

Type Parameter Key Value
PARAM_VALUE 0 which 0-2
PARAM_VALUE 1 value 5328421530173083648
PARAM_VALUE 1 value->it_interval.tv_nsec 0
PARAM_VALUE 1 value->it_interval.tv_sec 0
PARAM_VALUE 1 value->it_value.tv_nsec 0
PARAM_VALUE 1 value->it_value.tv_sec 0
PARAM_VALUE 2 ovalue 0
FUZZY_MAX 0 which 2
HARD_MAX 0 which 2
NOCHECK_CALL