Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/btree.c btree_get_prev() -> longcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 7134444402012200960 |
| PARAM_VALUE | 1 | src | 2409962453408882688,4869706636948385792,5588273700166082560,8789210124640788480 |
| PARAM_VALUE | 2 | n | 1-2 |
| BUF_SIZE | 0 | dest | 16 |
| DATA_SOURCE | 1 | src | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/btree.c btree_get_prev() -> longcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 2409962453408882688,4869706636948385792,5588273700166082560,8789210124640788480 |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 1-2 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | dest | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/btree.c btree_get_prev() -> longcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 7134444402012200960 |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 1-2 |
| BUF_SIZE | 0 | dest | 16 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 1 | src | r bkey |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/btree.c btree_last() -> longcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 2144419489336266752,2409962453408882688,4869706636948385792,5502570431717941248,7238853835031687168 |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 1-2 |
| BUF_SIZE | 0 | dest | (-1),16 |
| BUF_SIZE | 0 | dest | (-1),16 |
| DATA_SOURCE | 0 | dest | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/btree.c btree_merge() -> longcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dest | 8263839597176102912 |
| PARAM_VALUE | 1 | src | 7238853835031687168 |
| PARAM_VALUE | 2 | n | 1-2 |
| BUF_SIZE | 0 | dest | 16 |
| BUF_SIZE | 1 | src | 16 |
| CAPPED_DATA | 2 | n | 1 |
| NOCHECK_CALL |
lib/btree.c setkey() -> longcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | n | 1-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | src | (-1),16 |
| BUF_SIZE | 1 | src | (-1),16 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 1 | src | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |