Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virtio/virtio_rtc_driver.c viortc_cfg() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | viortc | 4096-ptr_max |
| PARAM_VALUE | 0 | viortc->alarmq_bufs | 1-u64max |
| PARAM_VALUE | 0 | viortc->vdev | 4096-ptr_max |
| PARAM_VALUE | 1 | msg_type | 4096 |
| PARAM_VALUE | 2 | req_size | 8 |
| PARAM_VALUE | 3 | resp_cap | 16 |
| BUF_SIZE | 0 | viortc | 200 |
| DATA_SOURCE | 0 | viortc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | viortc->num_alarmq_bufs |
drivers/virtio/virtio_rtc_driver.c viortc_clock_cap() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | viortc | 4096-ptr_max |
| PARAM_VALUE | 0 | viortc->alarmq_bufs | 1-u64max |
| PARAM_VALUE | 0 | viortc->clocks_to_unregister | 1-u64max |
| PARAM_VALUE | 0 | viortc->num_clocks | 1-u16max |
| PARAM_VALUE | 0 | viortc->vdev | 4096-ptr_max |
| PARAM_VALUE | 1 | msg_type | 4097 |
| PARAM_VALUE | 2 | req_size | 16 |
| PARAM_VALUE | 3 | resp_cap | 16 |
| BUF_SIZE | 0 | viortc->clocks_to_unregister | 8-524280 |
| DATA_SOURCE | 0 | viortc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | viortc->num_alarmq_bufs |
drivers/virtio/virtio_rtc_driver.c viortc_cross_cap() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | viortc | 4096-ptr_max |
| PARAM_VALUE | 0 | viortc->num_clocks | 1-u16max |
| PARAM_VALUE | 1 | msg_type | 4098 |
| PARAM_VALUE | 2 | req_size | 16 |
| PARAM_VALUE | 3 | resp_cap | 16 |
| BUF_SIZE | 0 | viortc->clocks_to_unregister | 8-524280 |
| DATA_SOURCE | 0 | viortc | $0 |
| STR_LEN | 0 | viortc | 31 |
| STR_LEN | 0 | viortc | 31 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | viortc->num_alarmq_bufs |
drivers/virtio/virtio_rtc_driver.c viortc_read() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_type | 1 |
| PARAM_VALUE | 2 | req_size | 16 |
| PARAM_VALUE | 3 | resp_cap | 16 |
| DATA_SOURCE | 0 | viortc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/virtio/virtio_rtc_driver.c viortc_read_alarm() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_type | 4099 |
| PARAM_VALUE | 2 | req_size | 16 |
| PARAM_VALUE | 3 | resp_cap | 24 |
| DATA_SOURCE | 0 | viortc | $0 |
| LOCK2 | &rtc->ops_lock | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock |
drivers/virtio/virtio_rtc_driver.c viortc_read_cross() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_type | 2 |
| PARAM_VALUE | 2 | req_size | 16 |
| PARAM_VALUE | 3 | resp_cap | 24 |
| DATA_SOURCE | 0 | viortc | $0 |
drivers/virtio/virtio_rtc_driver.c viortc_set_alarm() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_type | 4100 |
| PARAM_VALUE | 2 | req_size | 24 |
| PARAM_VALUE | 3 | resp_cap | 8 |
| DATA_SOURCE | 0 | viortc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rtc->ops_lock | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock |
drivers/virtio/virtio_rtc_driver.c viortc_set_alarm_enabled() -> viortc_msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg_type | 4101 |
| PARAM_VALUE | 2 | req_size | 16 |
| PARAM_VALUE | 3 | resp_cap | 8 |
| DATA_SOURCE | 0 | viortc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rtc->ops_lock | ||
| TYPE_LOCK | (struct rtc_device)->ops_lock |