Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/posix-timers.c __do_sys_clock_getres() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_getres() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_getres_time32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_getres_time32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_gettime() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_gettime() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_gettime32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_gettime32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_nanosleep() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_nanosleep() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_nanosleep_time32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_nanosleep_time32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_settime() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_settime() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_settime32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c __do_sys_clock_settime32() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c do_clock_adjtime() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max

kernel/time/posix-timers.c do_timer_create() -> clockid_to_kclock()

Type Parameter Key Value
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-s32max