Symbol: PVCLOCK_SYSTEM_TIME_ENABLE
sys/arch/amd64/amd64/vmm_machdep.c
7057
if (vcpu->vc_pvclock_system_gpa & PVCLOCK_SYSTEM_TIME_ENABLE) {
sys/dev/pv/pvclock.c
205
wrmsr(KVM_MSR_SYSTEM_TIME, pa | PVCLOCK_SYSTEM_TIME_ENABLE);
sys/dev/pv/pvclock.c
265
wrmsr(KVM_MSR_SYSTEM_TIME, pa & ~PVCLOCK_SYSTEM_TIME_ENABLE);
sys/dev/pv/pvclock.c
268
wrmsr(KVM_MSR_SYSTEM_TIME, pa | PVCLOCK_SYSTEM_TIME_ENABLE);