Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory-failure.c memory_failure() -> put_ref_page()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370495
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 flags $1
NOSPEC 0 pfn
NOSPEC 0 pfn
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pfn 0-4503599627370495[c]
UNITS 0 pfn unit_page
LOCK2 global &mf_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex

mm/memory-failure.c soft_offline_page() -> put_ref_page()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370495
PARAM_VALUE 1 flags s32min-1,8-s32max
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 flags $1
BIT_INFO 1 flags 0x0,0x1
NOSPEC 0 pfn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pfn 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 0 pfn
UNITS 0 pfn unit_page
HALF_LOCKED2 &of->mutex

mm/memory-failure.c soft_offline_page() -> put_ref_page()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370495
PARAM_VALUE 1 flags s32min-1,8-s32max
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 flags $1
BIT_INFO 1 flags 0x0,0x1
NOSPEC 0 pfn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pfn 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 0 pfn
UNITS 0 pfn unit_page
HALF_LOCKED2 &of->mutex

mm/memory-failure.c soft_offline_page() -> put_ref_page()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370495
PARAM_VALUE 1 flags s32min-1,8-s32max
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 flags $1
BIT_INFO 1 flags 0x0,0x1
NOSPEC 0 pfn
NOSPEC 0 pfn
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pfn 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 0 pfn
UNITS 0 pfn unit_page
LOCK2 global &mf_mutex
HALF_LOCKED2 &of->mutex