Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

drivers/clocksource/timer-nxp-pit.c pit_timer_init() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask u32max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->rating 300
PARAM_VALUE 0 cs->read 8751194423665803264
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
PARAM_VALUE 0 cs->wd_list.next 4096-ptr_max
PARAM_VALUE 0 cs->wd_list.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult

drivers/clocksource/timer-tegra186.c tegra186_timer_probe() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask u32max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->name 1361901254033367040
PARAM_VALUE 0 cs->owner 0
PARAM_VALUE 0 cs->rating 300
PARAM_VALUE 0 cs->read 1616577191542583296
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
PARAM_VALUE 0 cs->wd_list.next 4096-ptr_max
PARAM_VALUE 0 cs->wd_list.prev 4096-ptr_max
TERMINATED 0 cs->name 1
MEM_ZERO 0 cs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult

drivers/clocksource/timer-tegra186.c tegra186_timer_probe() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask u32max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->name 4587477146900901888
PARAM_VALUE 0 cs->owner 0
PARAM_VALUE 0 cs->rating 300
PARAM_VALUE 0 cs->read 7818729223694061568
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
PARAM_VALUE 0 cs->wd_list.next 4096-ptr_max
PARAM_VALUE 0 cs->wd_list.prev 4096-ptr_max
TERMINATED 0 cs->name 1
MEM_ZERO 0 cs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult

drivers/clocksource/timer-tegra186.c tegra186_timer_probe() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask 72057594037927935
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->name 5887101622539894784
PARAM_VALUE 0 cs->owner 0
PARAM_VALUE 0 cs->rating 300
PARAM_VALUE 0 cs->read 7657296581783625728
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
PARAM_VALUE 0 cs->wd_list.next 4096-ptr_max
PARAM_VALUE 0 cs->wd_list.prev 4096-ptr_max
TERMINATED 0 cs->name 1
MEM_ZERO 0 cs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult

drivers/clocksource/timer-tegra186.c tegra186_timer_remove() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/clocksource/timer-tegra186.c tegra186_timer_remove() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/clocksource/timer-tegra186.c tegra186_timer_remove() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/clocksource/timer-ti-dm.c omap_dm_timer_clocksource_unregister() -> clocksource_unregister()

Type Parameter Key Value
DATA_SOURCE 0 cs $0
NOCHECK_CALL

drivers/clocksource/ingenic-sysost.c ingenic_ost_init() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask u32max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->name 7332295900833730560
PARAM_VALUE 0 cs->rating 400
PARAM_VALUE 0 cs->read 2631427306259968000
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
PARAM_VALUE 0 cs->wd_list.next 4096-ptr_max
PARAM_VALUE 0 cs->wd_list.prev 4096-ptr_max
NOCHECK_CALL

drivers/clocksource/timer-sun5i.c sun5i_rate_cb() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
NOCHECK_CALL

drivers/clocksource/timer-sun5i.c sun5i_timer_probe() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
MEM_ZERO 0 cs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/clocksource/timer-sun5i.c sun5i_timer_remove() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

kernel/time/clocksource.c __devm_clocksource_unregister() -> clocksource_unregister()

Type Parameter Key Value
DATA_SOURCE 0 cs $0
NOCHECK_CALL

drivers/clocksource/ingenic-timer.c ingenic_tcu_init() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask u16max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->name 4363748209923538944
PARAM_VALUE 0 cs->rating 200
PARAM_VALUE 0 cs->read 4854416987210440704
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
PARAM_VALUE 0 cs->wd_list.next 4096-ptr_max
PARAM_VALUE 0 cs->wd_list.prev 4096-ptr_max
NOCHECK_CALL

kernel/time/clocksource-wdtest.c wdtest_clocksource_reset() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4949217004054704128
NOCHECK_CALL

kernel/time/clocksource-wdtest.c wdtest_func() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4949217004054704128
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult

drivers/clocksource/timer-nxp-stm.c devm_clocksource_unregister() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
NOCHECK_CALL

drivers/clocksource/timer-atmel-pit.c at91sam926x_pit_dt_init() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask 0,2047-8796093022207
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->name 7753618872175349760
PARAM_VALUE 0 cs->rating 175
PARAM_VALUE 0 cs->read 1516003337340375040
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
TERMINATED 0 cs->name 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult

arch/x86/kernel/tsc.c init_tsc_clocksource() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 3889009705389109248
NOCHECK_CALL

arch/x86/kernel/tsc.c init_tsc_clocksource() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 3889009705389109248
NOCHECK_CALL

arch/x86/kernel/tsc.c tsc_refine_calibration_work() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 3889009705389109248
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

arch/x86/platform/uv/uv_time.c uv_rtc_setup_clock() -> clocksource_unregister()

Type Parameter Key Value
PARAM_VALUE 0 cs 7934112598674128896
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.next 4096-ptr_max
PARAM_VALUE 0 cs->list.prev 4096-ptr_max
PARAM_VALUE 0 cs->mask 72057594037927935
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult