Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/btree.c btree_grow() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 n 0
PARAM_VALUE 3 val 4096-ptr_max
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r btree_node_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c btree_insert_level() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 n 0-1073741822
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r btree_node_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c btree_insert_level() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 n 0-1073741822
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r find_level
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c btree_insert_level() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 n 0-1073741823
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r find_level
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c btree_insert_level() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 n 1-2147483646
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r find_level
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c btree_insert_level() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 n 0-s32max
PARAM_VALUE 3 val 1-u64max
BUF_SIZE 3 val s32min-(-1),1-s32max
BUF_SIZE 3 val s32min-(-1),1-s32max
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r find_level
DATA_SOURCE 2 n r getpos
DATA_SOURCE 3 val $3
STR_LEN 3 val->se_tpg (-1),16,35
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 val unit_byte

lib/btree.c btree_remove_level() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 n 0-2147483646
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r find_level
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c btree_update() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 9179386248747872256
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 n 0-7
BUF_SIZE 3 val s32min-(-1),1-s32max
BUF_SIZE 3 val s32min-(-1),1-s32max
CAPPED_DATA 0 geo->keylen 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r btree_lookup_node
DATA_SOURCE 3 val $3
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 n < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 val unit_byte
HALF_LOCKED2 &ha->tgt.sess_lock
HALF_LOCKED2 flags

lib/btree.c merge() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 1 node 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c merge() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 3 val 4096-ptr_max
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node $7
DATA_SOURCE 2 n $8
DATA_SOURCE 3 val $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/btree.c merge() -> setval()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 *node 4096-18446744073709547520
PARAM_VALUE 3 val 4096-ptr_max
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node $7
DATA_SOURCE 3 val $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL