Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/capability.c __do_sys_capget() -> cap_validate_magic()

Type Parameter Key Value
PARAM_VALUE 1 tocopy 7100487873614532608
DATA_SOURCE 0 header $0
USER_DATA 0 header 0-u64max

kernel/capability.c __do_sys_capget() -> cap_validate_magic()

Type Parameter Key Value
PARAM_VALUE 1 tocopy 7100487873614532608
DATA_SOURCE 0 header $0
USER_DATA 0 header 0-u64max

kernel/capability.c __do_sys_capset() -> cap_validate_magic()

Type Parameter Key Value
PARAM_VALUE 1 tocopy 5784235297994395648
DATA_SOURCE 0 header $0
USER_DATA 0 header 0-u64max

kernel/capability.c __do_sys_capset() -> cap_validate_magic()

Type Parameter Key Value
PARAM_VALUE 1 tocopy 5784235297994395648
DATA_SOURCE 0 header $0
USER_DATA 0 header 0-u64max