Searched refs:vc_pvclock_system_gpa (Results 1 – 2 of 2) sorted by relevance
841 paddr_t vc_pvclock_system_gpa; /* [v] */ member
549 vcpu->vc_pvclock_system_gpa; in vm_rwvmparams()2879 vcpu->vc_pvclock_system_gpa = 0; in vcpu_init()6443 vcpu->vc_pvclock_system_gpa = gpa; in vmm_init_pvclock()6460 if (vcpu->vc_pvclock_system_gpa & PVCLOCK_SYSTEM_TIME_ENABLE) { in vmm_update_pvclock()6461 pvclock_gpa = vcpu->vc_pvclock_system_gpa & 0xFFFFFFFFFFFFFFF0; in vmm_update_pvclock()