Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mmc/host/sdhci-uhs2.c __sdhci_uhs2_remove_host() -> sdhci_uhs2_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc->ios.timing 13-16
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 mask 1
CAPPED_DATA 0 host 1
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_on
UNITS 0 host unit_byte

drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_do_detect_init() -> sdhci_uhs2_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->uhs2_caps.addr64 0-1
PARAM_VALUE 0 host->mmc->uhs2_caps.dap 0-15
PARAM_VALUE 0 host->mmc->uhs2_caps.link_rev 0-63
PARAM_VALUE 0 host->mmc->uhs2_caps.n_fcu 1-u32max
PARAM_VALUE 0 host->mmc->uhs2_caps.phy_rev 0-63
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->uhs2_pre_detect_init 0,6501303974713036800
PARAM_VALUE 0 host->ops->write_b 0,4096-ptr_max
PARAM_VALUE 1 mask 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HALF_LOCKED2 &pool->lock

drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_request_done() -> sdhci_uhs2_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->data_cmd 0
PARAM_VALUE 0 host->mmc->ios.timing 13-16
PARAM_VALUE 0 host->mrqs_done 4096-ptr_max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 mask 2
DATA_SOURCE 0 host $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &host->lock
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_reset_cmd_data() -> sdhci_uhs2_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->data_cmd 0
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->ios.timing 13-16
PARAM_VALUE 0 host->mmc->uhs2_sd_tran 1
PARAM_VALUE 0 host->mrqs_done 4096-ptr_max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 mask 2
DATA_SOURCE 0 host $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &host->lock
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci-pci-gli.c sdhci_gl9767_reset() -> sdhci_uhs2_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->led.dev->dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 host->led.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->mmc->class_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_disable 4068934353236983808,6336699593261330432
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_enable 2353700470644682752,4438057033843765248
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_off 0,1278036848093978624
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_post_req 69112578807832576,761825445855023104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_finish 798511935148539904,4118204743152734208
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_start 92399166401212416,7299643949535535104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_request 3947029797050339328,8004223914298208256
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_timeout 0,7076973505839443968
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_wait_for_idle 8134864024895033344,8850574933161476096
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc->ios.timing 13-16
PARAM_VALUE 0 host->mmc->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 host->ops->enable_dma 0,4096-ptr_max
PARAM_VALUE 0 host->ops->hw_reset 0,4096-ptr_max
PARAM_VALUE 0 host->ops->platform_execute_tuning 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->set_timeout 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_w 0,4096-ptr_max
PARAM_VALUE 0 host->private->chip 4096-ptr_max
PARAM_VALUE 0 *host->mmc->card->host->err_stats 0-4294967295
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 mask 1-2,4,6
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host->complete_wq (-1),512,528-8720
BUF_SIZE 0 host->hw_name (-1),5
BUF_SIZE 0 host->irq s32min-(-1),1-s32max
BUF_SIZE 0 host->ops (-1),256
DATA_SOURCE 0 host $0
DATA_SOURCE 1 mask $1
STR_LEN 0 host->hw_name (-1),4
BIT_INFO 1 mask 0x0,0x1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->caps 0-u32max[c]
HOST_DATA 0 host->caps1 0-u32max[c]
HOST_DATA 0 host->ier 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0[c]
HOST_DATA 0 host->mmc->max_busy_timeout 0[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 0 host->sg_miter.consumed 0-u32max[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
HOST_DATA 0 host->version 0-u16max
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_on
NO_OVERFLOW_SIMPLE 0 host->sg_count
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-pci-gli.c sdhci_gli_uhs2_reset_sd_tran() -> sdhci_uhs2_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->led.dev->dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 host->led.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->mmc->class_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->mmc->class_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_disable 4068934353236983808,6336699593261330432
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_enable 2353700470644682752,4438057033843765248
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_off 0,1278036848093978624
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_post_req 69112578807832576,761825445855023104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_finish 798511935148539904,4118204743152734208
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_start 92399166401212416,7299643949535535104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_request 3947029797050339328,8004223914298208256
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_timeout 0,7076973505839443968
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_wait_for_idle 8134864024895033344,8850574933161476096
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 host->mmc->uhs2_sd_tran 1
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->enable_dma 0,4096-ptr_max
PARAM_VALUE 0 host->ops->hw_reset 0,4096-ptr_max
PARAM_VALUE 0 host->ops->platform_execute_tuning 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->set_timeout 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_w 0,4096-ptr_max
PARAM_VALUE 0 host->pwr 0
PARAM_VALUE 0 *host->mmc->card->host->err_stats 0-4294967295
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 mask 2
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host->complete_wq (-1),512,8712
DATA_SOURCE 0 host $0
STR_LEN 0 host->hw_name (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->caps 0-u32max[c]
HOST_DATA 0 host->caps1 0-u32max[c]
HOST_DATA 0 host->ier 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0[c]
HOST_DATA 0 host->mmc->max_busy_timeout 0[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 0 host->thread_isr 0-u32max[c]
HOST_DATA 0 host->version 0-u16max
NO_OVERFLOW_SIMPLE 0 host->clock
NO_OVERFLOW_SIMPLE 0 host->complete_wq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 host->led.blink_brightness
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_on
HALF_LOCKED2 0 &host->lock