Defined in 4 files as a macro:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/mprotect.c do_mprotect_pkey() -> arch_validate_prot()

Type Parameter Key Value
PARAM_VALUE 1 addr 0-18446744073709551614
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
DATA_SOURCE 0 prot $2 [m]
DATA_SOURCE 1 addr r __untagged_addr
BIT_INFO 0 prot 0x0,0xfffffffffcffffff
BIT_INFO 0 prot 0x0,0xfffffffffcffffff
BIT_INFO 1 addr 0x0,0xfffffffffffff000
BIT_INFO 1 addr 0x0,0xfffffffffffff000
USER_DATA 0 prot 0-u64max[c]
USER_DATA 1 addr 0-18446744073709551614