Defined in 2 files as a prototype:

Defined in 3 files as a macro:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/mem.c read_mem() -> unxlate_dev_mem_ptr()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 1 addr r xlate_dev_mem_ptr
NOSPEC 0 phys
NOSPEC 0 phys
NOCHECK_CALL
USER_DATA 0 phys 0-1000004096[c]
USER_DATA 1 addr 4096-ptr_max[c][u]
UNITS 0 phys unit_byte

drivers/char/mem.c write_mem() -> unxlate_dev_mem_ptr()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 1 addr r xlate_dev_mem_ptr
NOSPEC 0 phys
NOCHECK_CALL
USER_DATA 0 phys 0-1000004096[c]
USER_DATA 1 addr 4096-ptr_max[c][u]
USER_DATA 1 *addr s64min-s64max
UNITS 0 phys unit_byte
USER_PTR 1 addr