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_dequeue()

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

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PARAM_VALUE 0 pde->pulses.next 4096-ptr_max
PARAM_VALUE 0 pde->pulses.next->next 4096-ptr_max
PARAM_VALUE 0 pde->pulses.next->prev 4096-ptr_max
PARAM_VALUE 0 pde->rs 4096-ptr_max
CAPPED_DATA 0 pde->max_count 1
DATA_SOURCE 0 pde $0
PARAM_COMPARE 0 pde->count >= $0->max_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pde->last_ts 0-u64max