Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/iommu-debug-pagealloc.c __iommu_debug_check_unmapped() -> dump_page_owner()

Type Parameter Key Value
DATA_SOURCE 0 page $0 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 page 4096-s32max[c]
USER_DATA 0 page 4096-s32max[c]
UNITS 0 page unit_page
HALF_LOCKED2 &dev->mutex

mm/debug.c dump_page() -> dump_page_owner()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $0
NOCHECK_CALL