69     if (!vms->clk) {  in vmclock_update_guest()
73     seq_count = le32_to_cpu(vms->clk->seq_count) | 1;  in vmclock_update_guest()
74     vms->clk->seq_count = cpu_to_le32(seq_count);  in vmclock_update_guest()
78     disruption_marker = le64_to_cpu(vms->clk->disruption_marker);  in vmclock_update_guest()
80     vms->clk->disruption_marker = cpu_to_le64(disruption_marker);  in vmclock_update_guest()
84     vms->clk->seq_count = cpu_to_le32(seq_count + 1);  in vmclock_update_guest()
141     vms->clk = memory_region_get_ram_ptr(&vms->clk_page);  in vmclock_realize()
142     memset(vms->clk, 0, VMCLOCK_SIZE);  in vmclock_realize()
144     vms->clk->magic = cpu_to_le32(VMCLOCK_MAGIC);  in vmclock_realize()
145     vms->clk->size = cpu_to_le16(VMCLOCK_SIZE);  in vmclock_realize()
146     vms->clk->version = cpu_to_le16(1);  in vmclock_realize()
149     vms->clk->clock_status = VMCLOCK_STATUS_UNKNOWN;  in vmclock_realize()
150     vms->clk->counter_id = VMCLOCK_COUNTER_INVALID;  in vmclock_realize()