Symbol: vhpet_restore_time
sys/amd64/vmm/io/vhpet.h
48
int vhpet_restore_time(struct vhpet *vhpet);
sys/amd64/vmm/vmm.c
2087
error = vhpet_restore_time(vm_hpet(vm));