Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/dfs_pri_detector.c pulse_queue_check_window() -> pulse_queue_get_tail()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PARAM_VALUE 0 pde->pulses.next 4096-ptr_max
CAPPED_DATA 0 pde->window_size 1
DATA_SOURCE 0 pde $0
PARAM_COMPARE 0 pde->last_ts > $0->window_size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 pde->last_ts 1-u64max

drivers/net/wireless/ath/dfs_pri_detector.c pulse_queue_check_window() -> pulse_queue_get_tail()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PARAM_VALUE 0 pde->pulses.next 4096-ptr_max
CAPPED_DATA 0 pde->window_size 1
DATA_SOURCE 0 pde $0
PARAM_COMPARE 0 pde->last_ts > $0->window_size
PARAM_COMPARE 0 &pde->pulses != $0->pulses.next
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 pde->last_ts 1-u64max

drivers/net/wireless/ath/dfs_pri_detector.c pulse_queue_dequeue() -> pulse_queue_get_tail()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PARAM_VALUE 0 pde->pulses.next 4096-ptr_max
DATA_SOURCE 0 pde $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 pde->last_ts 0-u64max