Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/pagewalk.c p4d_none_or_clear_bad() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
DATA_SOURCE 0 p4d $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/swapfile.c p4d_none_or_clear_bad() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
DATA_SOURCE 0 p4d $0
CAPABLE 0 21
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mprotect.c p4d_none_or_clear_bad() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
DATA_SOURCE 0 p4d $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 _T->lock

mm/mremap.c p4d_none_or_clear_bad() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
DATA_SOURCE 0 p4d $0
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c apply_to_p4d_range() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

mm/memory.c p4d_none_or_clear_bad() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
DATA_SOURCE 0 p4d $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock

mm/vmalloc.c p4d_none_or_clear_bad() -> p4d_clear_bad()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
DATA_SOURCE 0 p4d $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pcpu_alloc_mutex