Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/uap_event.c nxpwifi_uap_event_ps_sleep() -> nxpwifi_check_ps_cond()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->ps_state 1
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_main_process() -> nxpwifi_check_ps_cond()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_resp_received 0
PARAM_VALUE 0 adapter->data_received 0
PARAM_VALUE 0 adapter->event_received 0
PARAM_VALUE 0 adapter->hw_status 0-2,4-u32max
PARAM_VALUE 0 adapter->iface_changing.counter 0
PARAM_VALUE 0 adapter->int_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->int_status 0
PARAM_VALUE 0 adapter->pm_wakeup_fw_try 0
PARAM_VALUE 0 adapter->ps_state 1
PARAM_VALUE 0 adapter->rx_pending.counter s32min-49
PARAM_VALUE 0 adapter->wakeup_timer.entry.pprev 0
PARAM_VALUE 0 adapter->wakeup_timer.flags 0-4194302
PARAM_VALUE 0 adapter->wakeup_timer.function 0
PARAM_VALUE 0 *adapter->dbg.last_cmd_resp_id 0-u16max
PARAM_VALUE 0 *adapter->dbg.last_event 0-u16max
DATA_SOURCE 0 adapter $0
NOCHECK_CALL
USER_DATA 0 adapter->curr_cmd->resp_skb->data->command 0-4095
USER_DATA 0 adapter->curr_cmd->resp_skb->data->result 0-u16max[u]
USER_DATA 0 adapter->curr_cmd->resp_skb->data->seq_num 0-u16max[u]
USER_DATA 0 adapter->curr_cmd->resp_skb->data->size 0-u16max
HALF_LOCKED2 &pool->lock

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_should_exit_main_loop() -> nxpwifi_check_ps_cond()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_resp_received 0
PARAM_VALUE 0 adapter->data_received 0
PARAM_VALUE 0 adapter->hw_status 0-2,4-u32max
PARAM_VALUE 0 adapter->int_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->int_status 0
PARAM_VALUE 0 adapter->pm_wakeup_fw_try 0
PARAM_VALUE 0 adapter->ps_state 1
DATA_SOURCE 0 adapter $0
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/sta_event.c nxpwifi_sta_event_ps_sleep() -> nxpwifi_check_ps_cond()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->ps_state 1
NOCHECK_CALL