Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c _vm_unmap_aliases() -> purge_fragmented_block()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 purge_list 3498407173335293952
PARAM_VALUE 1 purge_list->next 3498407173335293952
PARAM_VALUE 1 purge_list->prev 4096-ptr_max
PARAM_VALUE 2 force_purge 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vmap_purge_lock
LOCK2 rcu_read
LOCK2 0 &vb->lock
HALF_LOCKED2 &region->snapshot_lock
TYPE_LOCK (struct vmap_block)->lock

mm/vmalloc.c purge_fragmented_blocks() -> purge_fragmented_block()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 purge_list 3918075400399892480
PARAM_VALUE 1 purge_list->next 3918075400399892480
PARAM_VALUE 1 purge_list->prev 4096-ptr_max
PARAM_VALUE 2 force_purge 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vmap_purge_lock
LOCK2 rcu_read
LOCK2 0 &vb->lock
HALF_LOCKED2 global &pcpu_alloc_mutex
TYPE_LOCK (struct vmap_block)->lock