Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rtc/rtc-rzn1.c rzn1_rtc_alarm_irq_enable() -> rzn1_rtc_read_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | tm | 8747681634377367552 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | tm->tm_hour | 0-165 |
| HOST_DATA | 1 | tm->tm_mday | 0-165[c] |
| HOST_DATA | 1 | tm->tm_min | 0-165[c] |
| HOST_DATA | 1 | tm->tm_sec | 0-165 |
| HOST_DATA | 1 | tm->tm_wday | 0-15 |
| LOCK2 | &rtc->ctl1_access_lock | ||
| LOCK2 | &rtc->ops_lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock | ||
| TYPE_LOCK | (struct rzn1_rtc)->ctl1_access_lock |
drivers/rtc/rtc-rzn1.c rzn1_rtc_read_alarm() -> rzn1_rtc_read_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | tm | 2412595738338004996 |
| PARAM_VALUE | 1 | tm->tm_hour | (-1) |
| PARAM_VALUE | 1 | tm->tm_mday | (-1) |
| PARAM_VALUE | 1 | tm->tm_min | (-1) |
| PARAM_VALUE | 1 | tm->tm_mon | (-1) |
| PARAM_VALUE | 1 | tm->tm_sec | (-1) |
| PARAM_VALUE | 1 | tm->tm_wday | (-1) |
| PARAM_VALUE | 1 | tm->tm_year | (-1) |
| BUF_SIZE | 1 | tm | 36 |
| DATA_SOURCE | 0 | dev | $0 |
| LOCK2 | &rtc->ops_lock | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock |
drivers/rtc/rtc-rzn1.c rzn1_rtc_set_alarm() -> rzn1_rtc_read_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | tm | 8466450150872154112 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rtc->ops_lock | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock |
drivers/rtc/rtc-bd70528.c bd70528_probe() -> (struct rtc_class_ops)->read_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->parent | 4096-ptr_max |
| PARAM_VALUE | 1 | tm | 5779274114829090816 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/rtc/interface.c __rtc_read_time() -> (struct rtc_class_ops)->read_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | tm | 4096-ptr_max |
| PARAM_VALUE | 1 | tm->tm_isdst | 0 |
| PARAM_VALUE | 1 | tm->tm_mday | 0 |
| PARAM_VALUE | 1 | tm->tm_mon | 0 |
| PARAM_VALUE | 1 | tm->tm_yday | 0 |
| DATA_SOURCE | 1 | tm | $1 |
| CONTAINER | 0 | *(-8-1632+248+0) | $(-1) |
| MEM_ZERO | 1 | tm | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rtc->ops_lock | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock |