Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/spi.c spi_internal_read() -> wilc_spi_reset_cmd_sequence()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->hif_cs.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wl->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 1 attempt 0-9
PARAM_VALUE 2 addr 36,64,68
BUF_SIZE 0 wl s32min-(-1),1-s32max
BUF_SIZE 0 wl s32min-(-1),1-s32max
BUF_SIZE 0 wl->bus_data (-1),24
BUF_SIZE 0 wl->dev (-1),1616
BUF_SIZE 0 wl->rtc_clk (-1),1-s32max
DATA_SOURCE 0 wl $0
DATA_SOURCE 2 addr $1
FUZZY_MAX 1 attempt 9
HARD_MAX 1 attempt 9
HARD_MAX 2 addr 68
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &wl->hif_cs
HALF_LOCKED2 0 &wl->txq_add_to_head_cs

drivers/net/wireless/microchip/wilc1000/spi.c spi_internal_write() -> wilc_spi_reset_cmd_sequence()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->hif_cs.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wl->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 1 attempt 0-9
PARAM_VALUE 2 addr 36,68
BUF_SIZE 0 wl s32min-(-1),1-s32max
BUF_SIZE 0 wl s32min-(-1),1-s32max
BUF_SIZE 0 wl->bus_data (-1),24
BUF_SIZE 0 wl->dev (-1),1616
BUF_SIZE 0 wl->rtc_clk (-1),1-s32max
DATA_SOURCE 0 wl $0
DATA_SOURCE 2 addr $1
FUZZY_MAX 1 attempt 9
HARD_MAX 1 attempt 9
HARD_MAX 2 addr 68
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &wl->hif_cs
HALF_LOCKED2 0 &wl->txq_add_to_head_cs

drivers/net/wireless/microchip/wilc1000/spi.c wilc_spi_read() -> wilc_spi_reset_cmd_sequence()

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

drivers/net/wireless/microchip/wilc1000/spi.c wilc_spi_read_reg() -> wilc_spi_reset_cmd_sequence()

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

drivers/net/wireless/microchip/wilc1000/spi.c wilc_spi_write() -> wilc_spi_reset_cmd_sequence()

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

drivers/net/wireless/microchip/wilc1000/spi.c wilc_spi_write() -> wilc_spi_reset_cmd_sequence()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wl->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 0 wl->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 wl->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 1 attempt 0-9
PARAM_VALUE 2 addr 0-255,851968
BUF_SIZE 0 wl (-1),128
BUF_SIZE 0 wl (-1),128
DATA_SOURCE 0 wl $0
DATA_SOURCE 2 addr $1
FUZZY_MAX 1 attempt 9
HARD_MAX 1 attempt 9
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &wl->hif_cs
HALF_LOCKED2 0 &wl->txq_add_to_head_cs
TYPE_LOCK (struct wilc)->hif_cs

drivers/net/wireless/microchip/wilc1000/spi.c wilc_spi_write() -> wilc_spi_reset_cmd_sequence()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.dep_map->name 0-255
PARAM_VALUE 0 wl->hif_cs.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wl->hif_cs.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->hif_cs.osq.tail.counter 0-s32max
PARAM_VALUE 0 wl->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 wl->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 1 attempt 0-9
PARAM_VALUE 2 addr 0-255,851968
BUF_SIZE 0 wl (-1),128
BUF_SIZE 0 wl (-1),128
DATA_SOURCE 0 wl $0
DATA_SOURCE 2 addr $1
FUZZY_MAX 1 attempt 9
HARD_MAX 1 attempt 9
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &wl->hif_cs
HALF_LOCKED2 0 &wl->txq_add_to_head_cs
TYPE_LOCK (struct wilc)->hif_cs

drivers/net/wireless/microchip/wilc1000/spi.c wilc_spi_write_reg() -> wilc_spi_reset_cmd_sequence()

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