Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ptp/ptp_clockmatrix.c initialize_dco_operating_mode() -> initialize_operating_mode_with_manual_reference()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->current_freq_scaled_ppm 0
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 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 0,4096-ptr_max
PARAM_VALUE 0 channel->idtcm->mfd 0,4096-ptr_max
PARAM_VALUE 0 channel->idtcm->regmap 4096-ptr_max
PARAM_VALUE 0 channel->mode 2
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
PARAM_VALUE 1 ref 0-31
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
RX_PATH
TASK_NOT_RUNNING
LOCK2 idtcm->lock