Symbol: vmm_init_pvclock
sys/arch/amd64/amd64/vmm_machdep.c
154
void vmm_init_pvclock(struct vcpu *, paddr_t);
sys/arch/amd64/amd64/vmm_machdep.c
564
vmm_init_pvclock(vcpu, vpp->vpp_pvclock_system_gpa);
sys/arch/amd64/amd64/vmm_machdep.c
6069
vmm_init_pvclock(vcpu,
sys/arch/amd64/amd64/vmm_machdep.c
6134
vmm_init_pvclock(vcpu,