Open Menu /

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_xfer()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 0
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_rtc_driver.c viortc_clock_cap() -> viortc_msg_xfer()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 0
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_rtc_driver.c viortc_cross_cap() -> viortc_msg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 0
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_rtc_driver.c viortc_read() -> viortc_msg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 15000
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_rtc_driver.c viortc_read_alarm() -> viortc_msg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 15000
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/virtio/virtio_rtc_driver.c viortc_read_cross() -> viortc_msg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 15000
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0

drivers/virtio/virtio_rtc_driver.c viortc_set_alarm() -> viortc_msg_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 15000
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
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_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->refcnt.refs.counter 2
PARAM_VALUE 1 msg->req 4096-ptr_max
PARAM_VALUE 1 msg->resp 1-u64max
PARAM_VALUE 1 msg->responded.done 0
PARAM_VALUE 1 msg->responded.wait.lock.magic 3735899821
PARAM_VALUE 1 msg->responded.wait.lock.owner (-1)
PARAM_VALUE 1 msg->responded.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->responded.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->responded.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 2 timeout_jiffies 15000
BUF_SIZE 0 vq 160
BUF_SIZE 1 msg 0
BIT_INFO 1 msg 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock