RB_REBOOT         172 kern/startup/main.c 	    case RB_REBOOT:
RB_REBOOT         187 kern/startup/main.c 	    case RB_REBOOT:
RB_REBOOT          42 user/sbin/reboot/reboot.c 	reboot(RB_REBOOT);