Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/hda/common/jack.c jack_detect_update() -> jack_detect_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->beep->enabled | 0-1 |
| PARAM_VALUE | 0 | codec->beep->keep_power_at_enable | 0-1 |
| PARAM_VALUE | 0 | codec->beep->linear_tone | 0-1 |
| PARAM_VALUE | 0 | codec->beep->nid | 0-u16max |
| PARAM_VALUE | 0 | codec->beep->playing | 0-1 |
| PARAM_VALUE | 0 | codec->beep->power_hook | 0-s64max |
| PARAM_VALUE | 0 | codec->beep->registered | 0-1 |
| PARAM_VALUE | 0 | codec->beep->tone | s32min-s32max |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | codec->card->card_dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | codec->card->card_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | codec->core->bus->corb.buf | 0-u32max |
| PARAM_VALUE | 0 | codec->core->bus->last_cmd | 0-u32max |
| PARAM_VALUE | 0 | codec->core->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.bus->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.bus->rirb.rp | 0-65534 |
| PARAM_VALUE | 0 | codec->core.bus->rirb.wp | 0-65534 |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.in_pm.counter | 0-s32max |
| PARAM_VALUE | 0 | codec->core.regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | codec->jacktbl.list | 1-u64max |
| PARAM_VALUE | 0 | codec->jacktbl.used | 1-u32max |
| PARAM_VALUE | 0 | *codec->core.bus->last_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *codec->core.bus->rirb.res | 0-4294967295 |
| PARAM_VALUE | 0 | *codec->core.bus->unsol_queue | 0-4294967295 |
| PARAM_VALUE | 1 | jack | 4096-ptr_max |
| PARAM_VALUE | 1 | jack->jack_dirty | 1 |
| PARAM_VALUE | 1 | jack->nid | 1-u16max |
| BUF_SIZE | 0 | codec | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | codec | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | codec->spec | (-1),24,32,56,6168,6192,6768,7712 |
| BUF_SIZE | 1 | jack | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | jack | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | codec->jacktbl.used | 1 |
| CAPPED_DATA | 1 | jack->dev_id | 1 |
| CAPPED_DATA | 1 | jack->nid | 1 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | jack | r snd_hda_jack_tbl_get_mst |
| STR_LEN | 0 | codec | (-1),8,10,12-13 |
| STR_LEN | 0 | codec | (-1),8,10,12-13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | codec->card->card_dev.dma_range_map | |
| NO_OVERFLOW_SIMPLE | 0 | codec->card->card_dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | codec->card->mixername | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.bus->corb.addr | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.num_nodes | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.regmap->cache_word_size | |
| UNITS | 0 | codec | unit_byte |
sound/hda/common/jack.c snd_hda_jack_pin_sense() -> jack_detect_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->beep->enabled | 0-1 |
| PARAM_VALUE | 0 | codec->beep->keep_power_at_enable | 0-1 |
| PARAM_VALUE | 0 | codec->beep->linear_tone | 0-1 |
| PARAM_VALUE | 0 | codec->beep->nid | 0-u16max |
| PARAM_VALUE | 0 | codec->beep->playing | 0-1 |
| PARAM_VALUE | 0 | codec->beep->power_hook | 0-s64max |
| PARAM_VALUE | 0 | codec->beep->registered | 0-1 |
| PARAM_VALUE | 0 | codec->beep->tone | s32min-s32max |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | codec->card->card_dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | codec->card->card_dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | codec->card->card_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | codec->card->debugfs_root->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | codec->core.bus->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->jacktbl.list | 1-u64max |
| PARAM_VALUE | 0 | codec->jacktbl.used | 1-u32max |
| PARAM_VALUE | 0 | *codec->core.bus->last_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *codec->core.bus->rirb.res | 0-4294967295 |
| PARAM_VALUE | 0 | *codec->core.bus->unsol_queue | 0-4294967295 |
| PARAM_VALUE | 1 | jack | 4096-ptr_max |
| PARAM_VALUE | 1 | jack->nid | 1-u16max |
| BUF_SIZE | 0 | codec | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | codec | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | codec->spec | (-1),24,32,56,6168,6192,6768,7712 |
| BUF_SIZE | 1 | jack | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | jack | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | jack->dev_id | 1 |
| CAPPED_DATA | 1 | jack->nid | 1 |
| DATA_SOURCE | 0 | codec | $0 |
| DATA_SOURCE | 1 | jack | r snd_hda_jack_tbl_get_mst |
| STR_LEN | 0 | codec | (-1),8,10,12-13 |
| STR_LEN | 0 | codec | (-1),8,10,12-13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | codec->card->card_dev.dma_range_map | |
| NO_OVERFLOW_SIMPLE | 0 | codec->card->card_dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | codec->card->mixername | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.bus->corb.addr | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.num_nodes | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.regmap->cache_word_size | |
| UNITS | 0 | codec | unit_byte |
sound/hda/common/jack.c snd_hda_jack_poll_all() -> jack_detect_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->core.dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | codec->core.dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | codec->core.dev.power.request | 0-4 |
| PARAM_VALUE | 0 | codec->core.dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | codec->jackpoll_interval | 1-u64max |
| PARAM_VALUE | 0 | codec->jacktbl.list->jack_dirty | 1 |
| PARAM_VALUE | 0 | codec->jacktbl.used | 1-s32max |
| PARAM_VALUE | 1 | jack | 4096-ptr_max |
| PARAM_VALUE | 1 | jack->jack_dirty | 1 |
| PARAM_VALUE | 1 | jack->nid | 1-u16max |
| PARAM_VALUE | 1 | jack->phantom_jack | 0 |
| BUF_SIZE | 1 | jack | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | jack | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | codec->jacktbl.used | 1 |
| DATA_SOURCE | 0 | codec | $0 |
| BIT_INFO | 1 | jack->pin_sense | 0x0,0xffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
sound/hda/common/jack.c snd_hda_jack_report_sync() -> jack_detect_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | codec | 4096-ptr_max |
| PARAM_VALUE | 0 | codec->core.bus->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->core.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | codec->jacktbl.used | 1-u32max |
| PARAM_VALUE | 1 | jack | 4096-ptr_max |
| PARAM_VALUE | 1 | jack->nid | 1-u16max |
| BUF_SIZE | 1 | jack | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | jack | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | codec | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | codec->core.bus->corb.addr | |
| NO_OVERFLOW_SIMPLE | 0 | codec->core.num_nodes | |
| UNITS | 0 | codec | unit_byte |