Symbol: vr_reboot
sys/arch/hpcmips/vr/vr.c
161
STATIC void vr_reboot(int, char *);
sys/arch/hpcmips/vr/vr.c
303
platform.reboot = vr_reboot;
sys/arch/hpcmips/vr/vr.c
500
vr_reboot(howto&~RB_HALT, bootstr);