Defined in 4 files as a function:
- arch/arm64/include/asm/pkeys.h, line 50 (as a function)
- arch/powerpc/include/asm/pkeys.h, line 68 (as a function)
- arch/x86/include/asm/pkeys.h, line 54 (as a function)
- include/linux/pkeys.h, line 23 (as a function)
Referenced in 4 files:
- arch/arm64/include/asm/pkeys.h, line 97
- arch/powerpc/include/asm/pkeys.h, line 115
- arch/x86/include/asm/pkeys.h, line 109
- mm/mprotect.c, line 910
Smatch caller information:
mm/mprotect.c do_mprotect_pkey() -> mm_pkey_is_allocated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pkey | s32min-(-2),0-s32max |
| DATA_SOURCE | 1 | pkey | $3 |
| USER_DATA | 1 | pkey | s32min-(-2),0-s32max |
| UNITS | 0 | mm | unit_byte |
mm/mprotect.c mm_pkey_free() -> mm_pkey_is_allocated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 1 | pkey | $1 |
| USER_DATA | 1 | pkey | s32min-s32max |
| UNITS | 0 | mm | unit_byte |