Defined in 5 files as a prototype:

Defined in 6 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 addr 0-1000000000
PARAM_VALUE 1 count 0-1000000000,2147479552
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 1 count $2
FUZZY_MAX 1 count 2147479552
USER_DATA 0 addr 0-1000000000
USER_DATA 1 count 0-1000000000

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

Type Parameter Key Value
PARAM_VALUE 0 addr 0-1000000000
PARAM_VALUE 1 count 0-1000000000,2147479552
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 1 count $2
FUZZY_MAX 1 count 2147479552
USER_DATA 0 addr 0-1000000000
USER_DATA 1 count 0-1000000000