Defined in 69 files as a member:

Defined in 48 files as a function:

Referenced in 810 files:

Smatch caller information:

arch/x86/kernel/cpu/microcode/amd.c _load_microcode_amd() -> cleanup()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex

arch/x86/kernel/cpu/microcode/amd.c exit_amd_microcode() -> cleanup()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kernel/cpu/microcode/amd.c finalize_late_load_amd() -> cleanup()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/usb/class/cdc-wdm.c wdm_create() -> cleanup()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->device_list.next->next 4096-ptr_max
PARAM_VALUE 0 qp->device_list.prev->next 4096-ptr_max
PARAM_VALUE 0 qp->device_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 qp->intf 4096-ptr_max
PARAM_VALUE 0 qp->intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 qp->inum 0-255
PARAM_VALUE 0 qp->rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->rlock.first_waiter 0
PARAM_VALUE 0 qp->rlock.magic 4096-ptr_max
PARAM_VALUE 0 qp->rlock.osq.tail.counter 0
PARAM_VALUE 0 qp->rlock.owner.counter 0
PARAM_VALUE 0 qp->wait.head.next 4096-ptr_max
PARAM_VALUE 0 qp->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 qp->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 qp->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 qp->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 qp->wlock.dep_map->name 0-255
PARAM_VALUE 0 qp->wlock.first_waiter 0
PARAM_VALUE 0 qp->wlock.magic 4096-ptr_max
PARAM_VALUE 0 qp->wlock.osq.tail.counter 0
PARAM_VALUE 0 qp->wlock.owner.counter 0
PARAM_VALUE 0 qp->wwanp_type 0-2,10
BUF_SIZE 0 qp 808
BUF_SIZE 0 qp->command s32min-s32max
BUF_SIZE 0 qp->inbuf 0-u16max,u64max
BUF_SIZE 0 qp->irq 8,u64max
BUF_SIZE 0 qp->orq 8,u64max
BUF_SIZE 0 qp->response s32min-s32max
BUF_SIZE 0 qp->sbuf 0-2047,u64max
BUF_SIZE 0 qp->ubuf 0-u16max,u64max
BUF_SIZE 0 qp->validity s32min-s32max
DATA_SOURCE 0 qp r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/class/cdc-wdm.c wdm_disconnect() -> cleanup()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->command 0,4096-ptr_max
PARAM_VALUE 0 qp->command->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 qp->command->dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 qp->command->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 qp->count 0
PARAM_VALUE 0 qp->intf 4096-ptr_max
PARAM_VALUE 0 qp->iuspin.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->response 0,4096-ptr_max
PARAM_VALUE 0 qp->response->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 qp->response->dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 qp->response->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 qp->rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->rlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 qp->rlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qp->rlock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 qp->rlock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 qp->rlock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 qp->rlock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 qp->rlock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 qp->rlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 qp->rlock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qp->rxwork.lockdep_map->name 0-255
PARAM_VALUE 0 qp->service_outs_intr.lockdep_map->name 0-255
PARAM_VALUE 0 qp->validity 0,4096-ptr_max
PARAM_VALUE 0 qp->validity->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 qp->validity->dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 qp->validity->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 qp->wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->wlock.dep_map->name 0-255
PARAM_VALUE 0 qp->wlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 qp->wlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 qp->wlock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 qp->wlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 qp->wlock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 qp->wwanp 0
CAPPED_DATA 0 qp->command 1
CAPPED_DATA 0 qp->intf 1
CAPPED_DATA 0 qp->response 1
CAPPED_DATA 0 qp->validity 1
CAPPED_DATA 0 &qp->rlock 1
CAPPED_DATA 0 &qp->rxwork 1
CAPPED_DATA 0 &qp->service_outs_intr 1
CAPPED_DATA 0 &qp->wlock 1
DATA_SOURCE 0 qp r wdm_find_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wdm_mutex

drivers/usb/class/cdc-wdm.c wdm_release() -> cleanup()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->count 0
PARAM_VALUE 0 qp->wlock.dep_map->name 0-255
PARAM_VALUE 0 qp->wlock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 qp->wlock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 qp->wlock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 qp->wlock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 qp->wlock.osq.tail.counter 0-s32max
PARAM_VALUE 0 qp->wlock.wait_lock.dep_map->name 0-255
BUF_SIZE 0 qp (-1),26
BUF_SIZE 0 qp (-1),26
CAPPED_DATA 0 &qp->wlock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wdm_mutex

drivers/infiniband/sw/rxe/rxe_resp.c rxe_receiver() -> cleanup()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->attr.qp_state 1-5,7-u32max
PARAM_VALUE 0 qp->resp.aeth_syndrome 31
PARAM_VALUE 0 qp->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->valid 1-u32max
PARAM_VALUE 1 pkt 0
BUF_SIZE 1 pkt 0
DATA_SOURCE 0 qp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 qp->attr.cur_qp_state 0-6

drivers/spi/spi.c spi_cleanup() -> (struct spi_controller)->cleanup()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->controller 4096-ptr_max
PARAM_VALUE 0 qp->controller->cleanup 1-u64max
PARAM_VALUE 0 qp->controller->dev.parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 qp->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 qp->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 qp->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 qp->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 qp->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 qp->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 qp->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 qp->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *qp->chip_select 0-255
BUF_SIZE 0 qp (-1),32,56,416,424,520,752,784,880,904,1000,1088,1384,1400,1616,1696,1744,1776,1800,2368,3112,5144,5176,51056
BUF_SIZE 0 qp (-1),32,56,416,424,520,752,784,880,904,1000,1088,1384,1400,1616,1696,1744,1776,1800,2368,3112,5144,5176,51056
BUF_SIZE 0 qp->controller (-1),3-6,8,12,16,24,32,56,64,80,112,136,176,208,272,360,504,696,976,1616,1656,1688,1728,1776,2360,2864-5728
BUF_SIZE 0 qp->controller_data s32min-(-1),1-s32max
BUF_SIZE 0 qp->dev.init_name (-1),50
BUF_SIZE 0 qp->dev.platform_data (-1),32
DATA_SOURCE 0 qp $0
STR_LEN 0 qp (-1)
STR_LEN 0 qp (-1)
STR_LEN 0 qp->dev.init_name (-1),49
CONTAINER 0 -2240-1616+0 $(-1)
NOSPEC 0 qp->max_speed_hz
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 qp->controller->num_chipselect 1-32[c]
HOST_DATA 0 qp->controller->num_data_lanes 0-u16max[c]
USER_DATA 0 qp->bits_per_word 1-255
USER_DATA 0 qp->max_speed_hz 1-u32max[c]
USER_DATA 0 qp->mode 0-524287[c]
NO_OVERFLOW_SIMPLE 0 qp->controller->kworker->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 qp->controller->num_chipselect
HALF_LOCKED2 &ctlr->add_lock

drivers/video/fbdev/via/via_aux.c via_aux_free() -> (struct via_aux_drv)->cleanup()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->cleanup 1-u64max
CAPPED_DATA 0 &qp->chain 1
CONTAINER 0 -48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/module/main.c __do_sys_delete_module() -> (struct module)->exit()

Type Parameter Key Value
CAPABLE 0 16
NOCHECK_CALL

kernel/module/main.c __do_sys_delete_module() -> (struct module)->exit()

Type Parameter Key Value
CAPABLE 0 16
NOCHECK_CALL