Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ptp/ptp_clockmatrix.c _idtcm_adjtime_deprecated() -> _idtcm_settime_deprecated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->idtcm | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->idtcm->calculate_overhead_flag | 1 |
| PARAM_VALUE | 0 | channel->idtcm->fw_ver | 0-2 |
| 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->idtcm->regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->idtcm->regmap->async_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | channel->idtcm->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | channel->idtcm->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | *channel->idtcm->regmap->work_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | ts | 6993486623396061184 |
| DATA_SOURCE | 0 | channel | $0 |
| BIT_INFO | 0 | channel | 0x1c9dc2498435a000,0xffffffffffffffff |
| BIT_INFO | 0 | channel | 0x1c9dc2498435a000,0xffffffffffffffff |
| NO_OVERFLOW_SIMPLE | 1 | ts->tv_sec | |
| LOCK2 | idtcm->lock |
drivers/ptp/ptp_clockmatrix.c idtcm_enable_tod() -> _idtcm_settime_deprecated()
| 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->extts_mask | 0 |
| PARAM_VALUE | 0 | channel->idtcm->fw_ver | 0 |
| 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->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | channel->idtcm->tod_mask | 1-255 |
| PARAM_VALUE | 0 | channel->mode | 0-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 | 0 | *channel->idtcm->regmap->work_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | ts | 4946556542159458304 |
| PARAM_VALUE | 1 | ts->tv_nsec | 0 |
| PARAM_VALUE | 1 | ts->tv_sec | 0 |
| 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 |
drivers/ptp/ptp_clockmatrix.c idtcm_settime_deprecated() -> _idtcm_settime_deprecated()
| 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 | 1 | ts | 4836526069087870976,5600820067894091776,6948930233408114688,6994144989615411200 |
| DATA_SOURCE | 1 | ts | $1 |
| USER_DATA | 1 | ts->tv_nsec | 0-999999999 |
| USER_DATA | 1 | ts->tv_sec | 0-8277292035 |
| NO_OVERFLOW_SIMPLE | 1 | ts->tv_sec | |
| LOCK2 | idtcm->lock |