Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/posix-cpu-timers.c do_cpu_nanosleep() -> posix_cpu_timer_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new_timer | 5249689906069270528 |
| PARAM_VALUE | 0 | new_timer->it_overrun | (-1) |
| MEM_ZERO | 0 | new_timer | |
| USER_DATA | 0 | new_timer->it_clock | s32min-23 |
kernel/time/posix-cpu-timers.c process_cpu_timer_create() -> posix_cpu_timer_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->it_clock | (-6) |
| PARAM_VALUE | 0 | new_timer->it_id | 0-s32max |
| PARAM_VALUE | 0 | new_timer->it_overrun | (-1) |
| PARAM_VALUE | 0 | new_timer->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->it_pid_type | 0-1 |
| PARAM_VALUE | 0 | new_timer->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->kclock->timer_create | 3284269029036478464,4420953281777524736,4804910958056529920,6605529347474452480,8402412729797378048 |
| PARAM_VALUE | 0 | new_timer->rcuref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.flags | 1 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._kill._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._kill._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigpoll._fd | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._tid | 0-s32max |
| PARAM_VALUE | 0 | new_timer->sigq.info.si_code | (-2) |
| PARAM_VALUE | 0 | new_timer->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.list.next | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.next->next | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.prev | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.prev->next | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.ucounts | 1-u64max |
| PARAM_VALUE | 0 | new_timer->t_hash.pprev | 4096-ptr_max |
| BUF_SIZE | 0 | new_timer->kclock | (-1),128 |
| DATA_SOURCE | 0 | new_timer | $0 |
| FUZZY_MAX | 0 | new_timer->it_pid_type | 1 |
| HARD_MAX | 0 | new_timer->it_pid_type | 1 |
| USER_DATA | 0 | new_timer->it_clock | (-6) |
| USER_DATA | 0 | new_timer->it_id | 0-s32max |
| USER_DATA | 0 | new_timer->it_sigev_notify | s32min-s32max |
| USER_DATA | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| USER_DATA | 0 | new_timer->sigq.info._sifields._timer._tid | 0-s32max |
| USER_DATA | 0 | new_timer->sigq.info.si_signo | s32min-s32max |
kernel/time/posix-cpu-timers.c thread_cpu_timer_create() -> posix_cpu_timer_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->it_clock | (-6),(-2) |
| PARAM_VALUE | 0 | new_timer->it_id | 0-s32max |
| PARAM_VALUE | 0 | new_timer->it_overrun | (-1) |
| PARAM_VALUE | 0 | new_timer->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->it_pid_type | 0-1 |
| PARAM_VALUE | 0 | new_timer->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->kclock->timer_create | 3284269029036478464,4420953281777524736,4804910958056529920,6605529347474452480,8402412729797378048 |
| PARAM_VALUE | 0 | new_timer->rcuref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.flags | 1 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._kill._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._kill._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigpoll._fd | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._tid | 0-s32max |
| PARAM_VALUE | 0 | new_timer->sigq.info.si_code | (-2) |
| PARAM_VALUE | 0 | new_timer->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.list.next | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.next->next | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.prev | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.prev->next | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.list.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | new_timer->sigq.ucounts | 1-u64max |
| PARAM_VALUE | 0 | new_timer->t_hash.pprev | 4096-ptr_max |
| BUF_SIZE | 0 | new_timer->kclock | (-1),128 |
| DATA_SOURCE | 0 | new_timer | $0 |
| FUZZY_MAX | 0 | new_timer->it_pid_type | 1 |
| HARD_MAX | 0 | new_timer->it_pid_type | 1 |
| USER_DATA | 0 | new_timer->it_clock | (-6),(-2) |
| USER_DATA | 0 | new_timer->it_id | 0-s32max |
| USER_DATA | 0 | new_timer->it_sigev_notify | s32min-s32max |
| USER_DATA | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| USER_DATA | 0 | new_timer->sigq.info._sifields._timer._tid | 0-s32max |
| USER_DATA | 0 | new_timer->sigq.info.si_signo | s32min-s32max |
kernel/time/posix-timers.c do_timer_create() -> (struct k_clock)->timer_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->it_clock | s32min-23 |
| PARAM_VALUE | 0 | new_timer->it_id | 0-s32max |
| PARAM_VALUE | 0 | new_timer->it_overrun | (-1) |
| PARAM_VALUE | 0 | new_timer->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->it_pid_type | 0-1 |
| PARAM_VALUE | 0 | new_timer->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | new_timer->kclock->timer_create | 3284269029036478464,4420953281777524736,4804910958056529920,6605529347474452480,8402412729797378048 |
| PARAM_VALUE | 0 | new_timer->rcuref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.flags | 1 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._kill._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._kill._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_ptr | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigchld._pid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigchld._status | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigchld._stime | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigchld._uid | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigchld._utime | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._addr | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._addr_bnd._lower | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._addr_bnd._upper | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._addr_lsb | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._addr_pkey._pkey | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._perf._data | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._perf._flags | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._perf._type | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigfault._trapno | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigpoll._band | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigpoll._fd | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigsys._arch | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigsys._call_addr | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._sigsys._syscall | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._overrun | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._sigval.sival_int | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._sigval.sival_ptr | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._sys_private | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.info._sifields._timer._tid | 0-s32max |
| PARAM_VALUE | 0 | new_timer->sigq.info.si_code | (-2) |
| PARAM_VALUE | 0 | new_timer->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | new_timer->sigq.ucounts | 1-u64max |
| PARAM_VALUE | 0 | new_timer->t_hash.pprev | 4096-ptr_max |
| BUF_SIZE | 0 | new_timer->kclock | (-1),128 |
| DATA_SOURCE | 0 | new_timer | r alloc_posix_timer |
| FUZZY_MAX | 0 | new_timer->it_pid_type | 1 |
| HARD_MAX | 0 | new_timer->it_pid_type | 1 |
| USER_DATA | 0 | new_timer->it_clock | s32min-23 |
| USER_DATA | 0 | new_timer->it_id | 0-s32max |
| USER_DATA | 0 | new_timer->it_sigev_notify | s32min-s32max |
| USER_DATA | 0 | new_timer->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| USER_DATA | 0 | new_timer->sigq.info._sifields._timer._tid | 0-s32max |
| USER_DATA | 0 | new_timer->sigq.info.si_signo | s32min-s32max |