Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_read() -> wilc_sdio_set_func0_csa_address()

Type Parameter Key Value
PARAM_VALUE 0 wilc 4096-ptr_max
PARAM_VALUE 0 wilc->bus_data 4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wilc->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 0 wilc->hif_func 4096-ptr_max
PARAM_VALUE 0 wilc->rx_buffer 4096-ptr_max
PARAM_VALUE 0 *wilc->bus_data->cmd53_buf 0-255
BUF_SIZE 0 wilc s32min-(-1),1-s32max
BUF_SIZE 0 wilc s32min-(-1),1-s32max
DATA_SOURCE 0 wilc $0
DATA_SOURCE 1 adr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wilc->hif_cs
TYPE_LOCK (struct wilc)->hif_cs

drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_read() -> wilc_sdio_set_func0_csa_address()

Type Parameter Key Value
PARAM_VALUE 0 wilc 4096-ptr_max
PARAM_VALUE 0 wilc->bus_data 4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wilc->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 0 wilc->hif_func 4096-ptr_max
PARAM_VALUE 0 wilc->rx_buffer 4096-ptr_max
PARAM_VALUE 0 *wilc->bus_data->cmd53_buf 0-255
PARAM_VALUE 1 adr 1-u32max
BUF_SIZE 0 wilc s32min-(-1),1-s32max
BUF_SIZE 0 wilc s32min-(-1),1-s32max
DATA_SOURCE 0 wilc $0
DATA_SOURCE 1 adr $1
FUZZY_MAX 1 adr 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wilc->hif_cs
TYPE_LOCK (struct wilc)->hif_cs

drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_read_reg() -> wilc_sdio_set_func0_csa_address()

Type Parameter Key Value
PARAM_VALUE 0 wilc 4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 0 wilc->hif_func->disable_interrupt 0,432025027202383872
PARAM_VALUE 0 wilc->hif_func->enable_interrupt 0,1084653059639750656
PARAM_VALUE 0 wilc->hif_func->hif_clear_int_ext 0,4096-ptr_max
PARAM_VALUE 0 wilc->wiphy->coalesce->n_patterns 4
PARAM_VALUE 0 wilc->wiphy->coalesce->n_rules 8
PARAM_VALUE 0 wilc->wiphy->coalesce->pattern_max_len 40
PARAM_VALUE 0 wilc->wiphy->coalesce->pattern_min_len 1
PARAM_VALUE 1 adr 1,11,15-16,19,4096,4204,4216,4264,4376,5108,5120,5128,5276,5652,6656,6660,12296,133036,3866624,805310508-805310544,805311360-805311412
BUF_SIZE 0 wilc s32min-(-1),1-s32max
BUF_SIZE 0 wilc s32min-(-1),1-s32max
BUF_SIZE 0 wilc->bus_data (-1),24
BUF_SIZE 0 wilc->dev (-1),1616
BUF_SIZE 0 wilc->rtc_clk (-1),1-s32max
DATA_SOURCE 0 wilc $0
DATA_SOURCE 1 adr $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wilc->wiphy->n_radio
HALF_LOCKED2 0 &wilc->hif_cs
HALF_LOCKED2 0 &wilc->txq_add_to_head_cs

drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_write() -> wilc_sdio_set_func0_csa_address()

Type Parameter Key Value
PARAM_VALUE 0 wilc 4096-ptr_max
PARAM_VALUE 0 wilc->bus_data 4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wilc->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 1 adr 1-255,851968
BUF_SIZE 0 wilc (-1),128
BUF_SIZE 0 wilc (-1),128
DATA_SOURCE 0 wilc $0
DATA_SOURCE 1 adr $1
TASK_NOT_RUNNING
LOCK2 0 &wilc->hif_cs
HALF_LOCKED2 0 &wilc->txq_add_to_head_cs
TYPE_LOCK (struct wilc)->hif_cs

drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_write() -> wilc_sdio_set_func0_csa_address()

Type Parameter Key Value
PARAM_VALUE 0 wilc 4096-ptr_max
PARAM_VALUE 0 wilc->bus_data 4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wilc->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 1 adr 1-u32max
BUF_SIZE 0 wilc (-1),128
BUF_SIZE 0 wilc (-1),128
DATA_SOURCE 0 wilc $0
DATA_SOURCE 1 adr $1
TASK_NOT_RUNNING
LOCK2 0 &wilc->hif_cs
HALF_LOCKED2 0 &wilc->txq_add_to_head_cs
TYPE_LOCK (struct wilc)->hif_cs

drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_write_reg() -> wilc_sdio_set_func0_csa_address()

Type Parameter Key Value
PARAM_VALUE 0 wilc 4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wilc->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wilc->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wilc->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 0 wilc->hif_func->disable_interrupt 0,432025027202383872
PARAM_VALUE 0 wilc->hif_func->enable_interrupt 0,1084653059639750656
PARAM_VALUE 0 wilc->hif_func->hif_clear_int_ext 0,4096-ptr_max
PARAM_VALUE 0 wilc->wiphy->coalesce->n_patterns 4
PARAM_VALUE 0 wilc->wiphy->coalesce->n_rules 8
PARAM_VALUE 0 wilc->wiphy->coalesce->pattern_max_len 40
PARAM_VALUE 0 wilc->wiphy->coalesce->pattern_min_len 1
PARAM_VALUE 1 adr 1,11,4204,4216,4264,4268,4272,4284,4288,4376,5120,5128,5276,5280,5652,6656,6660,12296,786432,1376276,5177344
BUF_SIZE 0 wilc s32min-(-1),1-s32max
BUF_SIZE 0 wilc s32min-(-1),1-s32max
BUF_SIZE 0 wilc->bus_data (-1),24
BUF_SIZE 0 wilc->dev (-1),1616
BUF_SIZE 0 wilc->rtc_clk (-1),1-s32max
DATA_SOURCE 0 wilc $0
DATA_SOURCE 1 adr $1
FUZZY_MAX 1 adr 4288
BIT_INFO 1 adr 0x0,0x5f3fff
HARD_MAX 1 adr 5177344
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wilc->wiphy->n_radio
LOCK2 0 &wilc->hif_cs
HALF_LOCKED2 &wilc->hif_cs
HALF_LOCKED2 0 &wilc->txq_add_to_head_cs
TYPE_LOCK (struct wilc)->hif_cs