Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/core.c ath10k_core_stop() -> ath10k_debug_stop()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 ar->conf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ar->conf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ar->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ar->hif.ops->get_target_info 0,325752887397482496
PARAM_VALUE 0 ar->hif.ops->power_up 4096-ptr_max
PARAM_VALUE 0 ar->leds.cdev.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ar->leds.cdev.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ar->leds.cdev.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ar->leds.cdev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ar->leds.cdev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.num_segs 0-1
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size 0-524288
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size_log2 0-31,u32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ar->leds.cdev.blink_delay_off
NO_OVERFLOW_SIMPLE 0 ar->leds.cdev.blink_delay_on
UNITS 0 ar unit_byte
LOCK2 0 &ar->conf_mutex
TYPE_LOCK (struct ath10k)->conf_mutex