Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tegra 4096-ptr_max
PARAM_VALUE 0 tegra->dev 0,4096-ptr_max
PARAM_VALUE 0 tegra->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 tegra->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 tegra->dev->driver_data 0,4096-ptr_max
PARAM_VALUE 0 tegra->osc.id 0
PARAM_VALUE 0 tegra->osc.list.next 4096-ptr_max
PARAM_VALUE 0 tegra->osc.list.prev 4096-ptr_max
PARAM_VALUE 0 tegra->osc.mask u32max
PARAM_VALUE 0 tegra->osc.max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 tegra->osc.max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 tegra->osc.name 4587477146900901888
PARAM_VALUE 0 tegra->osc.owner 0
PARAM_VALUE 0 tegra->osc.rating 300
PARAM_VALUE 0 tegra->osc.read 7818729223694061568
PARAM_VALUE 0 tegra->osc.shift 0-32
PARAM_VALUE 0 tegra->osc.vdso_clock_mode 0-3
PARAM_VALUE 0 tegra->osc.wd_list.next 4096-ptr_max
PARAM_VALUE 0 tegra->osc.wd_list.next->next 4096-ptr_max
PARAM_VALUE 0 tegra->osc.wd_list.prev 4096-ptr_max
PARAM_VALUE 0 tegra->osc.wd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 tegra->osc.wd_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 tegra->regs 0,4096-ptr_max
PARAM_VALUE 0 tegra->soc 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.id 0
PARAM_VALUE 0 tegra->tsc.list.next 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.list.prev 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.mask 72057594037927935
PARAM_VALUE 0 tegra->tsc.max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 tegra->tsc.max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 tegra->tsc.name 5887101622539894784
PARAM_VALUE 0 tegra->tsc.owner 0
PARAM_VALUE 0 tegra->tsc.rating 300
PARAM_VALUE 0 tegra->tsc.read 7657296581783625728
PARAM_VALUE 0 tegra->tsc.shift 0-32
PARAM_VALUE 0 tegra->tsc.vdso_clock_mode 0-3
PARAM_VALUE 0 tegra->tsc.wd_list.next 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.wd_list.next->next 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.wd_list.prev 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.wd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 tegra->tsc.wd_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 tegra->wdts 1-u64max
BUF_SIZE 0 tegra 680
BUF_SIZE 0 tegra->dev 0,1616
BUF_SIZE 0 tegra->wdts 0-34359738360
CAPPED_DATA 0 tegra->soc->num_wdts 1
DATA_SOURCE 0 tegra r devm_kzalloc
TERMINATED 0 tegra->osc.name 1
TERMINATED 0 tegra->tsc.name 1
MEM_ZERO 0 tegra
MEM_ZERO 0 tegra->osc.base
MEM_ZERO 0 tegra->osc.disable
MEM_ZERO 0 tegra->osc.enable
MEM_ZERO 0 tegra->osc.mark_unstable
MEM_ZERO 0 tegra->osc.read_snapshot
MEM_ZERO 0 tegra->osc.resume
MEM_ZERO 0 tegra->osc.suspend
MEM_ZERO 0 tegra->osc.tick_stable
MEM_ZERO 0 tegra->tsc.base
MEM_ZERO 0 tegra->tsc.disable
MEM_ZERO 0 tegra->tsc.enable
MEM_ZERO 0 tegra->tsc.mark_unstable
MEM_ZERO 0 tegra->tsc.read_snapshot
MEM_ZERO 0 tegra->tsc.resume
MEM_ZERO 0 tegra->tsc.suspend
MEM_ZERO 0 tegra->tsc.tick_stable
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 tegra->osc.maxadj
NO_OVERFLOW_SIMPLE 0 tegra->osc.mult
NO_OVERFLOW_SIMPLE 0 tegra->soc->num_wdts
NO_OVERFLOW_SIMPLE 0 tegra->tsc.maxadj
NO_OVERFLOW_SIMPLE 0 tegra->tsc.mult