Defined in 1 files as a function:
Referenced in 15 files:
- drivers/gpio/gpio-loongson-64bit.c
- drivers/gpio/gpio-tegra.c
- drivers/gpu/drm/gma500/psb_intel_sdvo.c
- drivers/gpu/drm/i915/display/intel_sdvo.c
- drivers/gpu/drm/udl/udl_edid.c
- drivers/iio/chemical/scd4x.c
- drivers/irqchip/irq-gic.c
- drivers/media/tuners/xc4000.c
- drivers/media/tuners/xc5000.c
- drivers/pinctrl/nuvoton/pinctrl-ma35.c
- drivers/scsi/am53c974.c
- drivers/scsi/dc395x.c
- drivers/scsi/esp_scsi.c
- lib/btree.c
- sound/pci/ali5451/ali5451.c
Smatch caller information:
lib/btree.c __btree_for_each() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 1-u64max |
| PARAM_VALUE | 2 | n | 0-s32max |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| DATA_SOURCE | 1 | node | $2 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
lib/btree.c btree_get_prev() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4903005584189030400,9179386248747872256 |
| PARAM_VALUE | 2 | n | 0-7 |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_get_prev() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4903005584189030400,9179386248747872256 |
| PARAM_VALUE | 1 | node | 1-u64max |
| PARAM_VALUE | 2 | n | 0-7 |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_get_prev() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4903005584189030400,9179386248747872256 |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 0-7 |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_insert_level() -> bval()
| 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 find_level |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_insert_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 1-2147483645 |
| 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 |
lib/btree.c btree_insert_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 1-u64max |
| 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 |
lib/btree.c btree_insert_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 1-u64max |
| PARAM_VALUE | 2 | n | 0-2147483645 |
| 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 |
lib/btree.c btree_last() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | n | 0 |
| DATA_SOURCE | 0 | geo | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_last() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 0 |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_lookup() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4903005584189030400,9179386248747872256 |
| PARAM_VALUE | 1 | node | 1-u64max |
| PARAM_VALUE | 2 | n | 0-7 |
| 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_lookup_node |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_lookup_node() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4903005584189030400,9179386248747872256 |
| PARAM_VALUE | 2 | n | 0-7 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_remove_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 1-u64max |
| PARAM_VALUE | 2 | n | 0-s32max |
| 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 | n | r getpos |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_remove_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c btree_shrink() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 0 |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 0 | geo->no_pairs | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c find_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 0-s32max |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 0 | geo->no_pairs | 1 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c find_level() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 0-s32max |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 0 | geo->no_pairs | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c getfill() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 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 | $0 |
| DATA_SOURCE | 1 | node | $1 |
| PARAM_COMPARE | 0 | geo->no_pairs | > $2 |
| PARAM_COMPARE | 2 | n | < $0->no_pairs |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c merge() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | n | 0-s32max |
| CAPPED_DATA | 0 | geo->keylen | 1 |
| CAPPED_DATA | 0 | geo->no_pairs | 1 |
| CAPPED_DATA | 1 | node | 1 |
| CAPPED_DATA | 2 | n | 1 |
| DATA_SOURCE | 0 | geo | $1 |
| DATA_SOURCE | 1 | node | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c rebalance() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 1-u64max |
| PARAM_VALUE | 2 | n | 0-s32max |
| 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 | n | r getpos |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c rebalance() -> bval()
| 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 |
| DATA_SOURCE | 0 | geo | $1 |
| DATA_SOURCE | 1 | node | r find_level |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/btree.c rebalance() -> bval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | geo | 4096-ptr_max |
| PARAM_VALUE | 1 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | n | s32min-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 |