Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/mmc/host/sdhci-brcmstb.c sdhci_brcmstb_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_calc_clk
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-of-aspeed.c aspeed_sdhci_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->clk 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 host->private->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
CAPPED_DATA 0 host->max_clk 1
DATA_SOURCE 0 host $0
BIT_INFO 1 clk 0x0,0xff00
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-omap.c sdhci_omap_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->clk 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 host->private->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 clk 0,4096-61440
DATA_SOURCE 0 host $0
BIT_INFO 1 clk 0x0,0xffc0
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-pci-gli.c sdhci_gl9750_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_calc_clk
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-pci-gli.c sdhci_gl9755_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->private->chip->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_calc_clk
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-pci-gli.c sdhci_gl9767_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->private->chip->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_calc_clk
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_hpe_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_rk3568_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->clk 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk->core->dev->power.request 0-4
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_status 0,2
PARAM_VALUE 0 host->private->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->private->clk->core->duty.den 0-4294967295
PARAM_VALUE 0 host->private->clk->core->duty.num 0-4294967295
PARAM_VALUE 0 host->private->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->new_parent_index 0-254
PARAM_VALUE 0 host->private->clk->core->notifier_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->num_parents 0-255
PARAM_VALUE 0 host->private->clk->core->orphan 0-1
PARAM_VALUE 0 host->private->clk->core->parent->new_parent_index 0-254
PARAM_VALUE 0 host->private->clk->core->phase s32min-s32max
PARAM_VALUE 0 host->private->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->rpm_enabled 0-1
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 clk 0
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-of-dwcmshc.c sdhci_eic7700_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->actual_clock 1-u32max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->clk 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk->core->dev->power.request 0-4
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_status 0,2
PARAM_VALUE 0 host->private->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->private->clk->core->duty.den 0-4294967295
PARAM_VALUE 0 host->private->clk->core->duty.num 0-4294967295
PARAM_VALUE 0 host->private->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->new_parent_index 0-254
PARAM_VALUE 0 host->private->clk->core->notifier_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->num_parents 0-255
PARAM_VALUE 0 host->private->clk->core->orphan 0-1
PARAM_VALUE 0 host->private->clk->core->parent->new_parent_index 0-254
PARAM_VALUE 0 host->private->clk->core->phase s32min-s32max
PARAM_VALUE 0 host->private->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->rpm_enabled 0-1
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_readw
NOSPEC 0 host->clock
NOSPEC 0 host->mmc->actual_clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->mmc->actual_clock 1-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
NO_OVERFLOW_SIMPLE 0 host->mmc->actual_clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-sprd.c _sdhci_sprd_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
USER_DATA 0 host->clock 1-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci.c sdhci_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_calc_clk
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->max_clk 2-4294967294[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
NO_OVERFLOW_SIMPLE 0 host->mmc->actual_clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci-of-arasan.c arasan_zynqmp_dll_reset() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_w 0,4096-ptr_max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_readw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 clk 0-u16max

drivers/mmc/host/sdhci-msm.c __sdhci_msm_set_clock() -> sdhci_enable_clk()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
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_power 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->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 clk r sdhci_readw
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 1 clk 0-u16max
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &host->lock