Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/realtek/rtlwifi/rtl8723be/hw.c _rtl8723be_llt_table_init() -> _rtl8723be_llt_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->priv 4096-ptr_max
PARAM_VALUE 0 hw->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 hw->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 1 address 0-243
PARAM_VALUE 2 data 1-244
DATA_SOURCE 0 hw $0
FUZZY_MAX 1 address 243
HARD_MAX 1 address 243
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rtlpriv->locks.conf_mutex

drivers/net/wireless/realtek/rtlwifi/rtl8723be/hw.c _rtl8723be_llt_table_init() -> _rtl8723be_llt_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->priv 4096-ptr_max
PARAM_VALUE 0 hw->priv->cfg 4096-ptr_max
PARAM_VALUE 0 hw->priv->io.read32 4096-ptr_max
PARAM_VALUE 0 hw->priv->io.write32 4096-ptr_max
PARAM_VALUE 0 hw->priv->locks.usb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hw->priv->usb_data_index s32min-99
PARAM_VALUE 0 hw->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 hw->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 1 address 244
PARAM_VALUE 2 data 255
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rtlpriv->locks.conf_mutex

drivers/net/wireless/realtek/rtlwifi/rtl8723be/hw.c _rtl8723be_llt_table_init() -> _rtl8723be_llt_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->priv 4096-ptr_max
PARAM_VALUE 0 hw->priv->cfg 4096-ptr_max
PARAM_VALUE 0 hw->priv->io.read32 4096-ptr_max
PARAM_VALUE 0 hw->priv->io.write32 4096-ptr_max
PARAM_VALUE 0 hw->priv->locks.usb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hw->priv->usb_data_index s32min-99
PARAM_VALUE 0 hw->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 hw->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 1 address 245-254
PARAM_VALUE 2 data 246-255
DATA_SOURCE 0 hw $0
FUZZY_MAX 1 address 254
HARD_MAX 1 address 254
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rtlpriv->locks.conf_mutex

drivers/net/wireless/realtek/rtlwifi/rtl8723be/hw.c _rtl8723be_llt_table_init() -> _rtl8723be_llt_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->priv 4096-ptr_max
PARAM_VALUE 0 hw->priv->cfg 4096-ptr_max
PARAM_VALUE 0 hw->priv->io.read32 4096-ptr_max
PARAM_VALUE 0 hw->priv->io.write32 4096-ptr_max
PARAM_VALUE 0 hw->priv->locks.usb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hw->priv->usb_data_index s32min-99
PARAM_VALUE 0 hw->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 hw->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 1 address 255
PARAM_VALUE 2 data 245
DATA_SOURCE 0 hw $0
PARAM_COMPARE 1 address > $2
PARAM_COMPARE 2 data < $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rtlpriv->locks.conf_mutex