Searched refs:time_page (Results 1 – 2 of 2) sorted by relevance
1106 if (!vcpu->time_page) in kvm_guest_time_update()1164 shared_kaddr = kmap_atomic(vcpu->time_page, KM_USER0); in kvm_guest_time_update()1461 if (vcpu->arch.time_page) { in kvmclock_reset()1462 kvm_release_page_dirty(vcpu->arch.time_page); in kvmclock_reset()1463 vcpu->arch.time_page = NULL; in kvmclock_reset()1536 vcpu->arch.time_page = in kvm_set_msr_common()1539 if (is_error_page(vcpu->arch.time_page)) { in kvm_set_msr_common()1540 kvm_release_page_clean(vcpu->arch.time_page); in kvm_set_msr_common()1541 vcpu->arch.time_page = NULL; in kvm_set_msr_common()
375 struct page *time_page; member