Open Menu /

Defined in 4 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mprotect.c __do_sys_pkey_alloc() -> mm_pkey_free()

Type Parameter Key Value
PARAM_VALUE 1 pkey s32min-(-2),0-s32max
CAPPED_DATA 1 pkey 1
DATA_SOURCE 1 pkey r mm_pkey_alloc
NOCHECK_CALL
UNITS 0 mm unit_byte

mm/mprotect.c __do_sys_pkey_alloc() -> mm_pkey_free()

Type Parameter Key Value
PARAM_VALUE 1 pkey s32min-(-2),0-s32max
CAPPED_DATA 1 pkey 1
DATA_SOURCE 1 pkey r mm_pkey_alloc
NOCHECK_CALL
UNITS 0 mm unit_byte

mm/mprotect.c __do_sys_pkey_free() -> mm_pkey_free()

Type Parameter Key Value
DATA_SOURCE 1 pkey $0
USER_DATA 1 pkey s32min-s32max
UNITS 0 mm unit_byte

mm/mprotect.c __do_sys_pkey_free() -> mm_pkey_free()

Type Parameter Key Value
DATA_SOURCE 1 pkey $0
USER_DATA 1 pkey s32min-s32max
UNITS 0 mm unit_byte