Symbol: vmt_tclo_reboot
sys/dev/pv/vmt.c
305
void vmt_tclo_reboot(struct vmt_softc *);
sys/dev/pv/vmt.c
335
{ "OS_Reboot", vmt_tclo_reboot },