virtio_le_to_cpu
if (virtio_le_to_cpu(head->msg_type) != VIRTIO_RTC_NOTIF_ALARM) {
__func__, virtio_le_to_cpu(head->msg_type));
clock_id = virtio_le_to_cpu(notif->clock_id);
switch (virtio_le_to_cpu(resp_head->status)) {
typecheck(typeof(virtio_le_to_cpu(_hdl.req->dest_member)), \
typecheck(typeof(virtio_le_to_cpu((hdl).resp->src_member)), \
*_dest_ptr = virtio_le_to_cpu((hdl).resp->src_member); \
typecheck(typeof(virtio_le_to_cpu(virtio_cread_v)), *(ptr)); \
*(ptr) = virtio_le_to_cpu(virtio_cread_v); \
typecheck(typeof(virtio_le_to_cpu(virtio_cwrite_v)), *(ptr)); \