Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/iwlwifi/mld/d3.c iwl_mld_convert_gtk_resume_seq() -> iwl_mld_le64_to_tkip_seq()

Type Parameter Key Value
PARAM_VALUE 1 seq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &notif_wait->notif_wait_lock
LOCK2 bh
HALF_LOCKED2 &rxq->lock
TYPE_LOCK (struct iwl_notif_wait_data)->notif_wait_lock

drivers/net/wireless/intel/iwlwifi/mld/d3.c iwl_mld_convert_ptk_resume_seq() -> iwl_mld_le64_to_tkip_seq()

Type Parameter Key Value
PARAM_VALUE 1 seq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &notif_wait->notif_wait_lock
LOCK2 bh
HALF_LOCKED2 &rxq->lock
TYPE_LOCK (struct iwl_notif_wait_data)->notif_wait_lock

drivers/net/wireless/intel/iwlwifi/mld/d3.c iwl_mld_rsc_update_key_iter() -> iwl_mld_le64_to_tkip_seq()

Type Parameter Key Value
PARAM_VALUE 1 seq 8056948361453318144
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 rcu_read

drivers/net/wireless/intel/iwlwifi/mld/d3.c iwl_mld_rsc_update_key_iter() -> iwl_mld_le64_to_tkip_seq()

Type Parameter Key Value
PARAM_VALUE 1 seq 8056948361453318144
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 rcu_read