Symbol: vmt_do_reboot
sys/dev/pv/vmt.c
284
void vmt_do_reboot(struct vmt_softc *);
sys/dev/pv/vmt.c
800
vmt_do_reboot(sc);