Defined in 2 files as a function:
- arch/powerpc/mm/book3s64/pkeys.c, line 378 (as a function)
- arch/x86/mm/pkeys.c, line 61 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/mm/pkeys.c __arch_override_mprotect_pkey() -> vma_is_pkey_exec_only()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start |