Home
last modified time | relevance | path

Searched refs:time_page (Results 1 – 2 of 2) sorted by relevance

/arch/x86/kvm/
Dx86.c596 if ((!vcpu->time_page)) in kvm_write_guest_time()
622 shared_kaddr = kmap_atomic(vcpu->time_page, KM_USER0); in kvm_write_guest_time()
739 if (vcpu->arch.time_page) { in kvm_set_msr_common()
740 kvm_release_page_dirty(vcpu->arch.time_page); in kvm_set_msr_common()
741 vcpu->arch.time_page = NULL; in kvm_set_msr_common()
753 vcpu->arch.time_page = in kvm_set_msr_common()
756 if (is_error_page(vcpu->arch.time_page)) { in kvm_set_msr_common()
757 kvm_release_page_clean(vcpu->arch.time_page); in kvm_set_msr_common()
758 vcpu->arch.time_page = NULL; in kvm_set_msr_common()
/arch/x86/include/asm/
Dkvm_host.h333 struct page *time_page; member