Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ptp/ptp_clockmatrix.c _idtcm_adjfine() -> (struct idtcm_channel)->configure_write_frequency()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->idtcm 4096-ptr_max
PARAM_VALUE 0 channel->idtcm->lock->dep_map->name 0-255
PARAM_VALUE 0 channel->idtcm->lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 channel->idtcm->lock->osq.tail.counter 0-s32max
PARAM_VALUE 0 channel->idtcm->lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 channel->idtcm->lock->wait_lock.owner (-1)
PARAM_VALUE 0 channel->idtcm->lock->wait_lock.owner_cpu u32max
PARAM_VALUE 0 channel->mode 1-u32max
DATA_SOURCE 0 channel $0
CONTAINER 0 -256+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 idtcm->lock

drivers/ptp/ptp_clockmatrix.c initialize_dco_operating_mode() -> (struct idtcm_channel)->configure_write_frequency()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->configure_write_frequency 7846102351662649344,8732649495781163008
PARAM_VALUE 0 channel->configure_write_phase 2293037364026793984,3279479980255334400
PARAM_VALUE 0 channel->current_freq_scaled_ppm 0
PARAM_VALUE 0 channel->do_phase_pull_in 5221884236357951488,5525371619256078336
PARAM_VALUE 0 channel->dpll_ctrl_n 50688,50748,50816,50876,50944,51004,51072,51132
PARAM_VALUE 0 channel->dpll_freq 51256,51264,51272,51280,51288,51296,51304,51312
PARAM_VALUE 0 channel->dpll_n 50096,50176,50232,50236,50304,50360,50364,50432,50488,50492,50560
PARAM_VALUE 0 channel->dpll_phase 51224,51228,51232,51236,51240,51244,51248,51252
PARAM_VALUE 0 channel->dpll_phase_pull_in 51328,51336,51344,51352,51360,51368,51376,51384
PARAM_VALUE 0 channel->hw_dpll_n 35328,35584,35840,36096,36352,36608,36864,37120
PARAM_VALUE 0 channel->idtcm 4096-ptr_max
PARAM_VALUE 0 channel->idtcm->calculate_overhead_flag 0
PARAM_VALUE 0 channel->idtcm->dev 4096-ptr_max
PARAM_VALUE 0 channel->idtcm->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 channel->idtcm->extts_mask 0
PARAM_VALUE 0 channel->idtcm->fw_ver 0-2
PARAM_VALUE 0 channel->idtcm->lock 4096-ptr_max
PARAM_VALUE 0 channel->idtcm->mfd 4096-ptr_max
PARAM_VALUE 0 channel->idtcm->regmap 4096-ptr_max
PARAM_VALUE 0 channel->idtcm->tod_mask 1-255
PARAM_VALUE 0 channel->mode 1
PARAM_VALUE 0 channel->pll 0-7
PARAM_VALUE 0 channel->sync_src 20-23
PARAM_VALUE 0 channel->tod_n 52172,52174,52176,52178,52224,52226,52228,52230
PARAM_VALUE 0 channel->tod_read_primary 52288,52304,52320,52352,52368
PARAM_VALUE 0 channel->tod_read_secondary 52368,52384,52400,52416,52432
PARAM_VALUE 0 channel->tod_write 52224,52240,52256,52272,52288
BUF_SIZE 0 channel->caps.pin_config 1536
BUF_SIZE 0 channel->idtcm 1520
CAPPED_DATA 0 channel->caps.n_pins 1
DATA_SOURCE 0 channel $0
STR_LEN 0 channel->caps.name 31
CONTAINER 0 -256+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 idtcm->lock