RB_HALT           173 kern/startup/main.c 	    case RB_HALT:
RB_HALT           183 kern/startup/main.c 	    case RB_HALT:
RB_HALT            42 user/sbin/halt/halt.c 	reboot(RB_HALT);