Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory-failure.c hwpoison_pte_range() -> check_hwpoisoned_pmd_entry()

Type Parameter Key Value
PARAM_VALUE 0 pmdp 4096-ptr_max
BUF_SIZE 2 hwp (-1),4,8,16,24,56,64,128,152,216,8248
BUF_SIZE 2 hwp (-1),4,8,16,24,56,64,128,152,216,8248
DATA_SOURCE 0 pmdp $0
DATA_SOURCE 1 addr $1
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-u64max[c]
HALF_LOCKED2 &mm->mmap_lock