Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rtc/rtc-meson.c meson_rtc_send_bits() -> meson_rtc_send_bit()
| 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->acquired | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->array | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->rcdev | 0-s64max |
| PARAM_VALUE | 0 | rtc->reset->shared | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->triggered_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | bit | 0,2-u32max |
| 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 |
| CAPPED_DATA | 1 | bit | 1 |
| DATA_SOURCE | 0 | rtc | $0 |
| NOCHECK_CALL |
drivers/rtc/rtc-meson.c meson_rtc_set_dir() -> meson_rtc_send_bit()
| 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->acquired | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->array | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->rcdev | 0-s64max |
| PARAM_VALUE | 0 | rtc->reset->shared | 0-1 |
| PARAM_VALUE | 0 | rtc->reset->triggered_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | bit | 0-1 |
| 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 | bit | $1 |
| HARD_MAX | 1 | bit | 1 |
| NOCHECK_CALL |