Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 start 18379471554275704832,18446612682070032384,u64max
PARAM_VALUE 2 flush 0-1
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
FUZZY_MAX 0 start u64max
FUZZY_MAX 2 flush 1
HARD_MAX 2 flush 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &region->snapshot_lock
HALF_LOCKED2 &devlink->lock
TYPE_LOCK (struct devlink_region)->snapshot_lock

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

Type Parameter Key Value
PARAM_VALUE 0 start u64max
PARAM_VALUE 1 end 0
PARAM_VALUE 2 flush 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &mem_enc_lock