Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

lib/btree.c btree_get_prev() -> keycmp()

Type Parameter Key Value
PARAM_VALUE 0 geo 4903005584189030400,9179386248747872256
PARAM_VALUE 0 geo->keylen 1-2
PARAM_VALUE 2 pos 0-7
PARAM_VALUE 3 key 7134444402012200960
BUF_SIZE 3 key 16
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $1
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

lib/btree.c btree_get_prev() -> keycmp()

Type Parameter Key Value
PARAM_VALUE 0 geo 4903005584189030400,9179386248747872256
PARAM_VALUE 0 geo->keylen 1-2
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 pos 0-7
PARAM_VALUE 3 key 7134444402012200960
BUF_SIZE 3 key 16
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $1
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 0 geo->keylen 1-2
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 pos 0-2147483646
PARAM_VALUE 3 key 4096-ptr_max
BUF_SIZE 3 key (-1),16
BUF_SIZE 3 key (-1),16
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r find_level
DATA_SOURCE 2 pos r getpos
DATA_SOURCE 3 key $2
RX_PATH
TASK_NOT_RUNNING

lib/btree.c btree_lookup() -> keycmp()

Type Parameter Key Value
PARAM_VALUE 0 geo 4903005584189030400,9179386248747872256
PARAM_VALUE 0 geo->keylen s32min-(-1),1-s32max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 pos 0-7
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r btree_lookup_node
DATA_SOURCE 3 key $2
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

lib/btree.c btree_lookup_node() -> keycmp()

Type Parameter Key Value
PARAM_VALUE 0 geo 4903005584189030400,9179386248747872256
PARAM_VALUE 0 geo->keylen 1-2
PARAM_VALUE 2 pos 0-7
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 3 key $2
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 0 geo->keylen s32min-(-1),1-s32max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 pos 0-s32max
PARAM_VALUE 3 key 4096-ptr_max
BUF_SIZE 3 key (-1),16
BUF_SIZE 3 key (-1),16
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
DATA_SOURCE 2 pos r getpos
DATA_SOURCE 3 key $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 geo 9179386248747872256
PARAM_VALUE 0 geo->keylen s32min-(-1),1-s32max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 pos 0-7
PARAM_VALUE 3 key 452614231489769472,6410083107779579904
PARAM_VALUE 3 *key 0-u32max
CAPPED_DATA 0 geo->keylen 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 1 node r btree_lookup_node
DATA_SOURCE 3 key $2
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ha->tgt.sess_lock
HALF_LOCKED2 flags

lib/btree.c find_level() -> keycmp()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 0 geo->keylen s32min-(-1),1-s32max
PARAM_VALUE 2 pos 0-s32max
BUF_SIZE 3 key (-1),16
BUF_SIZE 3 key (-1),16
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $1
DATA_SOURCE 3 key $2
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

lib/btree.c getpos() -> keycmp()

Type Parameter Key Value
PARAM_VALUE 0 geo 4096-ptr_max
PARAM_VALUE 0 geo->keylen s32min-(-1),1-s32max
PARAM_VALUE 1 node 1-u64max
PARAM_VALUE 2 pos 0-s32max
BUF_SIZE 3 key (-1),16
BUF_SIZE 3 key (-1),16
CAPPED_DATA 0 geo->keylen 1
CAPPED_DATA 0 geo->no_pairs 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 geo $0
DATA_SOURCE 1 node $1
DATA_SOURCE 3 key $2
PARAM_COMPARE 0 geo->no_pairs > $2
PARAM_COMPARE 2 pos < $0->no_pairs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING