Searched refs:shared_kaddr (Results 1 – 1 of 1) sorted by relevance
594 void *shared_kaddr; in kvm_write_guest_time() local622 shared_kaddr = kmap_atomic(vcpu->time_page, KM_USER0); in kvm_write_guest_time()624 memcpy(shared_kaddr + vcpu->time_offset, &vcpu->hv_clock, in kvm_write_guest_time()627 kunmap_atomic(shared_kaddr, KM_USER0); in kvm_write_guest_time()