Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rtc/rtc-stm32.c stm32_rtc_probe() -> stm32_rtc_check_rif()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stm32_rtc | 4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->base | 4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->data | 4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->data->rif_protected | 1 |
| PARAM_VALUE | 0 | stm32_rtc->dbp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->dbp->async | 0 |
| PARAM_VALUE | 0 | stm32_rtc->pclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck | 0,4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->protect_count | 0-4294967295 |
| BUF_SIZE | 0 | stm32_rtc | 72 |
| BUF_SIZE | 0 | stm32_rtc->dbp | (-1)-s32max |
| BUF_SIZE | 0 | stm32_rtc->pclk | (-1)-s32max |
| BUF_SIZE | 0 | stm32_rtc->rtc_ck | (-1),1-s32max |
| DATA_SOURCE | 0 | stm32_rtc | r devm_kzalloc |
| MEM_ZERO | 0 | stm32_rtc | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/rtc/rtc-stm32.c stm32_rtc_probe() -> stm32_rtc_check_rif()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stm32_rtc | 4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->base | 4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->data | 4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->data->rif_protected | 1 |
| PARAM_VALUE | 0 | stm32_rtc->dbp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->dbp->async | 0 |
| PARAM_VALUE | 0 | stm32_rtc->pclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->pclk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck | 0,4096-ptr_max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | stm32_rtc->rtc_ck->core->protect_count | 0-4294967295 |
| BUF_SIZE | 0 | stm32_rtc | 72 |
| BUF_SIZE | 0 | stm32_rtc->dbp | (-1)-s32max |
| BUF_SIZE | 0 | stm32_rtc->pclk | (-1)-s32max |
| BUF_SIZE | 0 | stm32_rtc->rtc_ck | (-1),1-s32max |
| DATA_SOURCE | 0 | stm32_rtc | r devm_kzalloc |
| MEM_ZERO | 0 | stm32_rtc | |
| RX_PATH | |||
| TASK_NOT_RUNNING |