Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/madvise.c __pkru_allows_pkey() -> __pkru_allows_write()

Type Parameter Key Value
PARAM_VALUE 1 pkey 0-15
DATA_SOURCE 0 pkru r read_pkru
DATA_SOURCE 1 pkey $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &madv_behavior->mm->mmap_lock

arch/x86/mm/fault.c __pkru_allows_pkey() -> __pkru_allows_write()

Type Parameter Key Value
PARAM_VALUE 1 pkey 0-15
DATA_SOURCE 0 pkru r read_pkru
DATA_SOURCE 1 pkey $0
RX_PATH
TASK_NOT_RUNNING

mm/memory.c __pkru_allows_pkey() -> __pkru_allows_write()

Type Parameter Key Value
PARAM_VALUE 1 pkey 0-15
DATA_SOURCE 0 pkru r read_pkru
DATA_SOURCE 1 pkey $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/gup.c __pkru_allows_pkey() -> __pkru_allows_write()

Type Parameter Key Value
PARAM_VALUE 1 pkey 0-15
DATA_SOURCE 0 pkru r read_pkru
DATA_SOURCE 1 pkey $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags