Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memblock.c memblock_add_range() -> memblock_set_region_node()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 1 nid $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/memblock.c memblock_insert_region() -> memblock_set_region_node()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
CAPPED_DATA 0 r->base 1
CAPPED_DATA 0 r->size 1
DATA_SOURCE 1 nid $4
STR_LEN 0 r->base (-1),63
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 r->base 4096-s32max[c]
USER_DATA 0 r->size 1-u64max[c]

mm/memblock.c memblock_remove_region() -> memblock_set_region_node()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 nid 1024
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

mm/memblock.c memblock_set_node() -> memblock_set_region_node()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 1 nid $3
NOCHECK_CALL
LOCK2 irq