Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mempolicy.c do_mbind() -> mpol_set_nodemask()

Type Parameter Key Value
PARAM_VALUE 0 pol 0,4096-ptr_max
PARAM_VALUE 0 pol->flags 0,24,8192-57368
PARAM_VALUE 0 pol->home_node (-1)
PARAM_VALUE 0 pol->mode 1-u16max
PARAM_VALUE 0 pol->refcnt.counter 1
PARAM_VALUE 1 nodes 5932472308782518272
PARAM_VALUE 2 nsc 4096-ptr_max
BUF_SIZE 2 nsc 256
DATA_SOURCE 0 pol r mpol_new
DATA_SOURCE 1 nodes $4
DATA_SOURCE 2 nsc r _kmalloc_noprof
USER_DATA 0 pol->flags 0,24,8192-57368[c]
NO_OVERFLOW_SIMPLE 0 pol->mode
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c do_set_mempolicy() -> mpol_set_nodemask()

Type Parameter Key Value
PARAM_VALUE 0 pol 0,4096-ptr_max
PARAM_VALUE 0 pol->flags 0,24,8192-57368
PARAM_VALUE 0 pol->home_node (-1)
PARAM_VALUE 0 pol->mode 1-u16max
PARAM_VALUE 0 pol->refcnt.counter 1
PARAM_VALUE 1 nodes 0,5196930376312049664,6761957256587837440
PARAM_VALUE 2 nsc 4096-ptr_max
BUF_SIZE 2 nsc 256
DATA_SOURCE 0 pol r mpol_new
DATA_SOURCE 1 nodes $2
DATA_SOURCE 2 nsc r _kmalloc_noprof
PREEMPT_ADD <- disables preempt
USER_DATA 0 pol->flags 0,24,8192-57368[c]
NO_OVERFLOW_SIMPLE 0 pol->mode

mm/mempolicy.c mpol_shared_policy_init() -> mpol_set_nodemask()

Type Parameter Key Value
PARAM_VALUE 0 pol 0,4096-ptr_max
PARAM_VALUE 0 pol->home_node (-1)
PARAM_VALUE 0 pol->mode 1-u16max
PARAM_VALUE 0 pol->refcnt.counter 1
PARAM_VALUE 2 nsc 4096-ptr_max
BUF_SIZE 2 nsc 256
DATA_SOURCE 0 pol r mpol_new
DATA_SOURCE 2 nsc r _kmalloc_noprof
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pol->mode
HALF_LOCKED2 &sb->s_umount