Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/pci/ctxfi/ctatc.c atc_spdif_out_passthru() -> atc_pll_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | atc | 3395810205491982336 |
| PARAM_VALUE | 0 | atc->atc_mutex | 0 |
| PARAM_VALUE | 0 | atc->capabilities | 2378290706623840256 |
| PARAM_VALUE | 0 | atc->card | 0 |
| PARAM_VALUE | 0 | atc->chip_name | 0 |
| PARAM_VALUE | 0 | atc->chip_type | 0 |
| PARAM_VALUE | 0 | atc->daios | 4096-ptr_max |
| PARAM_VALUE | 0 | atc->dedicated_rca_select | 1929243255355895808 |
| PARAM_VALUE | 0 | atc->get_ptp_phys | 6527003921510522880 |
| PARAM_VALUE | 0 | atc->hw | 0 |
| PARAM_VALUE | 0 | atc->line_clfe_unmute | 2249374733684621312 |
| PARAM_VALUE | 0 | atc->line_front_unmute | 7643225312101924864 |
| PARAM_VALUE | 0 | atc->line_in_unmute | 813726990551605248 |
| PARAM_VALUE | 0 | atc->line_rear_unmute | 2485150666715267072 |
| PARAM_VALUE | 0 | atc->line_surround_unmute | 4620640288300859392 |
| PARAM_VALUE | 0 | atc->map_audio_buffer | 2824002819462672384 |
| PARAM_VALUE | 0 | atc->mic_source_switch_get | 4340037014416166912 |
| PARAM_VALUE | 0 | atc->mic_source_switch_put | 4834617436184707072 |
| PARAM_VALUE | 0 | atc->mic_unmute | 4125431965867667456 |
| PARAM_VALUE | 0 | atc->model | 0 |
| PARAM_VALUE | 0 | atc->model_name | 0 |
| PARAM_VALUE | 0 | atc->msr | 0 |
| PARAM_VALUE | 0 | atc->output_switch_get | 6625738960206655488 |
| PARAM_VALUE | 0 | atc->output_switch_put | 2776479024164515840 |
| PARAM_VALUE | 0 | atc->pci | 0 |
| PARAM_VALUE | 0 | atc->pcm | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | atc->pcm_capture_position | 4921654740521349120 |
| PARAM_VALUE | 0 | atc->pcm_capture_prepare | 3814631979984928768 |
| PARAM_VALUE | 0 | atc->pcm_capture_start | 4017635040206934016 |
| PARAM_VALUE | 0 | atc->pcm_capture_stop | 4660150018485309440 |
| PARAM_VALUE | 0 | atc->pcm_playback_position | 3484109686424367104 |
| PARAM_VALUE | 0 | atc->pcm_playback_prepare | 1180728518788079616 |
| PARAM_VALUE | 0 | atc->pcm_playback_start | 377292731850715136 |
| PARAM_VALUE | 0 | atc->pcm_playback_stop | 4660150018485309440 |
| PARAM_VALUE | 0 | atc->pcm_release_resources | 3892698916048560128 |
| PARAM_VALUE | 0 | atc->pll_rate | 44100,48000 |
| PARAM_VALUE | 0 | atc->rca_state | 0 |
| PARAM_VALUE | 0 | atc->rca_unmute | 2070674212000284672 |
| PARAM_VALUE | 0 | atc->resume | 6257306720873603072 |
| PARAM_VALUE | 0 | atc->rsr | 0 |
| PARAM_VALUE | 0 | atc->select_digit_io | 9054405360977100800 |
| PARAM_VALUE | 0 | atc->select_line_in | 1865130117860536320 |
| PARAM_VALUE | 0 | atc->select_mic_in | 489636712387883008 |
| PARAM_VALUE | 0 | atc->spdif_in_unmute | 8377073132228722688 |
| PARAM_VALUE | 0 | atc->spdif_out_get_status | 4934012830477070336 |
| PARAM_VALUE | 0 | atc->spdif_out_passthru | 6063280106477998080 |
| PARAM_VALUE | 0 | atc->spdif_out_set_status | 3371929189102731264 |
| PARAM_VALUE | 0 | atc->spdif_out_unmute | 5194387452865339392 |
| PARAM_VALUE | 0 | atc->spdif_passthru_playback_prepare | 5989273946448908288 |
| PARAM_VALUE | 0 | atc->srcimps | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | atc->srcs | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | atc->suspend | 3299357183721721856 |
| PARAM_VALUE | 0 | atc->timer | 0 |
| PARAM_VALUE | 0 | atc->unmap_audio_buffer | 183762683085701120 |
| PARAM_VALUE | 0 | atc->vm | 0 |
| PARAM_VALUE | 1 | rate | 0 |
| BUF_SIZE | 0 | atc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | atc | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | atc | $0 |
| PARAM_COMPARE | 0 | atc->pll_rate | > $0->rsr |
| PARAM_COMPARE | 1 | rate | < $0->pll_rate |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pcm->open_mutex |
sound/pci/ctxfi/ctatc.c spdif_passthru_playback_setup() -> atc_pll_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | atc | 3395810205491982336 |
| PARAM_VALUE | 0 | atc->atc_mutex | 0 |
| PARAM_VALUE | 0 | atc->capabilities | 2378290706623840256 |
| PARAM_VALUE | 0 | atc->card | 0 |
| PARAM_VALUE | 0 | atc->chip_name | 0 |
| PARAM_VALUE | 0 | atc->chip_type | 0 |
| PARAM_VALUE | 0 | atc->daios | 4096-ptr_max |
| PARAM_VALUE | 0 | atc->dedicated_rca_select | 1929243255355895808 |
| PARAM_VALUE | 0 | atc->get_ptp_phys | 6527003921510522880 |
| PARAM_VALUE | 0 | atc->hw | 0 |
| PARAM_VALUE | 0 | atc->line_clfe_unmute | 2249374733684621312 |
| PARAM_VALUE | 0 | atc->line_front_unmute | 7643225312101924864 |
| PARAM_VALUE | 0 | atc->line_in_unmute | 813726990551605248 |
| PARAM_VALUE | 0 | atc->line_rear_unmute | 2485150666715267072 |
| PARAM_VALUE | 0 | atc->line_surround_unmute | 4620640288300859392 |
| PARAM_VALUE | 0 | atc->map_audio_buffer | 2824002819462672384 |
| PARAM_VALUE | 0 | atc->mic_source_switch_get | 4340037014416166912 |
| PARAM_VALUE | 0 | atc->mic_source_switch_put | 4834617436184707072 |
| PARAM_VALUE | 0 | atc->mic_unmute | 4125431965867667456 |
| PARAM_VALUE | 0 | atc->mixer | 0 |
| PARAM_VALUE | 0 | atc->model | 0 |
| PARAM_VALUE | 0 | atc->model_name | 0 |
| PARAM_VALUE | 0 | atc->msr | 0 |
| PARAM_VALUE | 0 | atc->output_switch_get | 6625738960206655488 |
| PARAM_VALUE | 0 | atc->output_switch_put | 2776479024164515840 |
| PARAM_VALUE | 0 | atc->pci | 0 |
| PARAM_VALUE | 0 | atc->pcm | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | atc->pcm_capture_position | 4921654740521349120 |
| PARAM_VALUE | 0 | atc->pcm_capture_prepare | 3814631979984928768 |
| PARAM_VALUE | 0 | atc->pcm_capture_start | 4017635040206934016 |
| PARAM_VALUE | 0 | atc->pcm_capture_stop | 4660150018485309440 |
| PARAM_VALUE | 0 | atc->pcm_playback_position | 3484109686424367104 |
| PARAM_VALUE | 0 | atc->pcm_playback_prepare | 1180728518788079616 |
| PARAM_VALUE | 0 | atc->pcm_playback_start | 377292731850715136 |
| PARAM_VALUE | 0 | atc->pcm_playback_stop | 4660150018485309440 |
| PARAM_VALUE | 0 | atc->pcm_release_resources | 3892698916048560128 |
| PARAM_VALUE | 0 | atc->pll_rate | 0,44100,48000 |
| PARAM_VALUE | 0 | atc->rca_state | 0 |
| PARAM_VALUE | 0 | atc->rca_unmute | 2070674212000284672 |
| PARAM_VALUE | 0 | atc->resume | 6257306720873603072 |
| PARAM_VALUE | 0 | atc->rsr | 0 |
| PARAM_VALUE | 0 | atc->select_digit_io | 9054405360977100800 |
| PARAM_VALUE | 0 | atc->select_line_in | 1865130117860536320 |
| PARAM_VALUE | 0 | atc->select_mic_in | 489636712387883008 |
| PARAM_VALUE | 0 | atc->spdif_in_unmute | 8377073132228722688 |
| PARAM_VALUE | 0 | atc->spdif_out_get_status | 4934012830477070336 |
| PARAM_VALUE | 0 | atc->spdif_out_passthru | 6063280106477998080 |
| PARAM_VALUE | 0 | atc->spdif_out_set_status | 3371929189102731264 |
| PARAM_VALUE | 0 | atc->spdif_out_unmute | 5194387452865339392 |
| PARAM_VALUE | 0 | atc->spdif_passthru_playback_prepare | 5989273946448908288 |
| PARAM_VALUE | 0 | atc->srcimps | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | atc->srcs | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | atc->suspend | 3299357183721721856 |
| PARAM_VALUE | 0 | atc->timer | 0 |
| PARAM_VALUE | 0 | atc->unmap_audio_buffer | 183762683085701120 |
| PARAM_VALUE | 0 | atc->vm | 0 |
| PARAM_VALUE | 0 | atc->vm->unused.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | atc->vm->unused.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | atc->vm->unused.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | rate | 44100,48000 |
| BUF_SIZE | 0 | atc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | atc | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | atc | $0 |
| PARAM_COMPARE | 0 | atc->pll_rate | != $1 |
| PARAM_COMPARE | 1 | rate | != $0->pll_rate |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock |