Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rtc/rtc-meson.c meson_rtc_serial_bus_reg_read() -> meson_rtc_send_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rtc | 4096-ptr_max |
| PARAM_VALUE | 0 | rtc->peripheral | 4096-ptr_max |
| PARAM_VALUE | 0 | rtc->peripheral->async | 0 |
| PARAM_VALUE | 0 | rtc->peripheral->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rtc->peripheral->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rtc->peripheral->cache_dirty | 1 |
| PARAM_VALUE | 0 | rtc->reset->triggered_count.counter | s32min-s32max |
| PARAM_VALUE | 2 | nr | 3 |
| CAPPED_DATA | 0 | rtc->peripheral->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->volatile_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | rtc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| NOCHECK_CALL |
drivers/rtc/rtc-meson.c meson_rtc_serial_bus_reg_write() -> meson_rtc_send_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rtc | 4096-ptr_max |
| PARAM_VALUE | 0 | rtc->peripheral | 4096-ptr_max |
| PARAM_VALUE | 0 | rtc->peripheral->async | 0 |
| PARAM_VALUE | 0 | rtc->peripheral->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rtc->peripheral->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rtc->peripheral->cache_dirty | 1 |
| PARAM_VALUE | 0 | rtc->reset->triggered_count.counter | s32min-s32max |
| PARAM_VALUE | 2 | nr | 32 |
| CAPPED_DATA | 0 | rtc->peripheral->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->volatile_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | rtc | $0 |
| DATA_SOURCE | 1 | data | $2 |
| NOCHECK_CALL |
drivers/rtc/rtc-meson.c meson_rtc_serial_bus_reg_write() -> meson_rtc_send_bits()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rtc | 4096-ptr_max |
| PARAM_VALUE | 0 | rtc->peripheral | 4096-ptr_max |
| PARAM_VALUE | 0 | rtc->peripheral->async | 0 |
| PARAM_VALUE | 0 | rtc->peripheral->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rtc->peripheral->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rtc->peripheral->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->triggered_count.counter | s32min-s32max |
| PARAM_VALUE | 2 | nr | 3 |
| CAPPED_DATA | 0 | rtc->peripheral->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | rtc->peripheral->volatile_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | rtc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| NOCHECK_CALL |