Symbol: vmt_tclo_halt
sys/dev/pv/vmt.c
304
void vmt_tclo_halt(struct vmt_softc *);
sys/dev/pv/vmt.c
333
{ "OS_Halt", vmt_tclo_halt },