Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/mmio-mod.c ioremap_trace_core() -> mmio_trace_mapping()

Type Parameter Key Value
PARAM_VALUE 0 map 470531237276966912
PARAM_VALUE 0 map->len 1-u64max
PARAM_VALUE 0 map->opcode 3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->len 1-u64max[c]
HOST_DATA 0 map->phys 0-u64max
USER_DATA 0 map->len 1-u64max
USER_DATA 0 map->phys 0-u64max
LOCK2 global &trace_lock
LOCK2 irq

arch/x86/mm/mmio-mod.c iounmap_trace_core() -> mmio_trace_mapping()

Type Parameter Key Value
PARAM_VALUE 0 map 8528230336316264448
PARAM_VALUE 0 map->len 0
PARAM_VALUE 0 map->opcode 4
PARAM_VALUE 0 map->phys 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 global &trace_lock
LOCK2 irq