Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/base/regmap/regcache-rbtree.c rbtree_show() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 8430335093211582464 |
| PARAM_VALUE | 3 | top | 6150968834212122624 |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | map | unit_array_size |
| UNITS | 1 | rbnode | unit_byte |
| LOCK2 | &s->lock | ||
| LOCK2 | 0 | map->lock_arg | |
| TYPE_LOCK | (struct seq_file)->lock |
drivers/base/regmap/regcache-rbtree.c regcache_rbtree_drop() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 7547954642675638272 |
| PARAM_VALUE | 3 | top | 5123969147083440128 |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->cache_word_size | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_read | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_write | |
| UNITS | 1 | rbnode | unit_byte |
| HALF_LOCKED2 | 0 | map->lock_arg |
drivers/base/regmap/regcache-rbtree.c regcache_rbtree_insert() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 4299447187059068928 |
| PARAM_VALUE | 3 | top | 6658148852322525184 |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map->patch | (-1)-s32max |
| CAPPED_DATA | 0 | map->cache_type | 1 |
| CAPPED_DATA | 0 | map->rd_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->cache_word_size | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_read | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_write | |
| HALF_LOCKED2 | 0 | map->lock_arg |
drivers/base/regmap/regcache-rbtree.c regcache_rbtree_lookup() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 1-u64max |
| PARAM_VALUE | 2 | base | 5208898577467781120 |
| PARAM_VALUE | 3 | top | 491571815360262144 |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map->patch | (-1)-s32max |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->cache_word_size | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_read | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_write | |
| UNITS | 1 | rbnode | unit_byte |
| HALF_LOCKED2 | 0 | map->lock_arg | |
| HALF_LOCKED2 | 0 | &map->cache_lock |
drivers/base/regmap/regcache-rbtree.c regcache_rbtree_lookup() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 5208898577467781120 |
| PARAM_VALUE | 3 | top | 491571815360262144 |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map->patch | (-1)-s32max |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->cache_word_size | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_read | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_write | |
| UNITS | 1 | rbnode | unit_byte |
| HALF_LOCKED2 | 0 | map->lock_arg | |
| HALF_LOCKED2 | 0 | &map->cache_lock |
drivers/base/regmap/regcache-rbtree.c regcache_rbtree_sync() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 8200113937348870144 |
| PARAM_VALUE | 3 | top | 1584644240761704448 |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | rbnode | unit_byte |
| LOCK2 | 0 | map->lock_arg |
drivers/base/regmap/regcache-rbtree.c regcache_rbtree_write() -> regcache_rbtree_get_base_top_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | rbnode | 4096-ptr_max |
| PARAM_VALUE | 2 | base | 3514910663004987392 |
| PARAM_VALUE | 3 | top | 2894177300332797952 |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | map->patch | (-1)-s32max |
| CAPPED_DATA | 0 | map->cache_type | 1 |
| DATA_SOURCE | 0 | map | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->cache_word_size | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_read | |
| NO_OVERFLOW_SIMPLE | 0 | map->max_raw_write | |
| UNITS | 1 | rbnode | unit_byte |
| HALF_LOCKED2 | 0 | map->lock_arg |