Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-pci-o2micro.c sdhci_o2_enable_clk() -> sdhci_o2_enable_internal_clock()

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->pdev->error_state 0-2,4-4294967295
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 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-o2micro.c sdhci_o2_get_cd() -> sdhci_o2_enable_internal_clock()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL