Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mempolicy.c shared_policy_replace() -> sp_node_init()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
PARAM_VALUE 1 start 1-18446744073709551614
PARAM_VALUE 2 end 2-u64max
PARAM_VALUE 3 pol 4096-ptr_max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
DATA_SOURCE 0 node r kmem_cache_alloc_noprof
DATA_SOURCE 1 start $2
DATA_SOURCE 3 pol r kmem_cache_alloc_noprof
PARAM_COMPARE 1 start < $2
PARAM_COMPARE 1 start < $2
PARAM_COMPARE 2 end > $1
NOCHECK_CALL
UNITS 1 start unit_page
LOCK2 &sp->lock
HALF_LOCKED2 &mm->mmap_lock
TYPE_LOCK (struct shared_policy)->lock

mm/mempolicy.c sp_alloc() -> sp_node_init()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
PARAM_VALUE 3 pol 4096-ptr_max
BUF_SIZE 3 pol (-1)-s32max
BUF_SIZE 3 pol (-1)-s32max
CAPPED_DATA 3 pol 1
DATA_SOURCE 0 node r kmem_cache_alloc_noprof
DATA_SOURCE 1 start $0
DATA_SOURCE 2 end $1
DATA_SOURCE 3 pol r mpol_dup
BIT_INFO 3 pol->flags 0x1,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 pol->flags 1,25,8193-57369[c]
USER_DATA 3 pol->home_node 0-1023
USER_DATA 3 pol->mode 2-3,5-u16max
UNITS 1 start unit_page
UNITS 2 end unit_page