RB_POWEROFF       174 kern/startup/main.c 	    case RB_POWEROFF:
RB_POWEROFF       191 kern/startup/main.c 	    case RB_POWEROFF:
RB_POWEROFF       287 kern/startup/menu.c 	sys_reboot(RB_POWEROFF);
RB_POWEROFF         9 user/my-testbin/example/example.c 	reboot(RB_POWEROFF);
RB_POWEROFF        42 user/sbin/poweroff/poweroff.c 	reboot(RB_POWEROFF);
RB_POWEROFF        31 user/uw-testbin/segments/segments.c 	reboot(RB_POWEROFF);