s/_vdev_hvc_vtimer_module/vtimer_hyp