Defined in 3 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmalloc.c kasan_release_vmalloc_node() -> kasan_release_vmalloc()

Type Parameter Key Value
PARAM_VALUE 4 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
UNITS 2 free_region_start unit_byte
UNITS 3 free_region_end unit_byte
HALF_LOCKED2 global &vmap_purge_lock

mm/vmalloc.c kasan_release_vmalloc_node() -> kasan_release_vmalloc()

Type Parameter Key Value
PARAM_VALUE 4 flags 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
UNITS 2 free_region_start unit_byte
UNITS 3 free_region_end unit_byte
HALF_LOCKED2 global &vmap_purge_lock

mm/vmalloc.c pcpu_get_vm_areas() -> kasan_release_vmalloc()

Type Parameter Key Value
PARAM_VALUE 4 flags 3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
UNITS 2 free_region_start unit_byte
UNITS 3 free_region_end unit_byte
LOCK2 global &free_vmap_area_lock
LOCK2 global &pcpu_alloc_mutex

mm/vmalloc.c pcpu_get_vm_areas() -> kasan_release_vmalloc()

Type Parameter Key Value
PARAM_VALUE 4 flags 3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
UNITS 2 free_region_start unit_byte
UNITS 3 free_region_end unit_byte
LOCK2 global &free_vmap_area_lock
LOCK2 global &pcpu_alloc_mutex