Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory.c __handle_mm_fault() -> fix_spurious_fault()

Type Parameter Key Value
PARAM_VALUE 0 vmf 2900308121553498112
PARAM_VALUE 0 vmf->flags 0-4950
PARAM_VALUE 1 ptlevel 1
NOSPEC 0 vmf->real_address
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vmf->address 0,4096-u64max[c]
USER_DATA 0 vmf->pgoff 0-9007199254740990[c]
USER_DATA 0 vmf->real_address 0-u64max
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c handle_pte_fault() -> fix_spurious_fault()

Type Parameter Key Value
PARAM_VALUE 0 vmf 2900308121553498112
PARAM_VALUE 0 vmf->flags 2048-6998
PARAM_VALUE 1 ptlevel 0
DATA_SOURCE 0 vmf $0
BIT_INFO 0 vmf->flags 0x800,0x1fff
NOSPEC 0 vmf->real_address
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vmf->address 0,4096-u64max[c]
USER_DATA 0 vmf->pgoff 0-13510801029595132[c]
USER_DATA 0 vmf->real_address 0-u64max[c]
LOCK2 rcu_read
LOCK2 0 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock