reboot              9 user/my-testbin/example/example.c 	reboot(RB_POWEROFF);
reboot             42 user/sbin/halt/halt.c 	reboot(RB_HALT);
reboot             42 user/sbin/poweroff/poweroff.c 	reboot(RB_POWEROFF);
reboot             42 user/sbin/reboot/reboot.c 	reboot(RB_REBOOT);
reboot             53 user/testbin/badcall/bad_reboot.c 	rv = reboot(15353);
reboot             31 user/uw-testbin/segments/segments.c 	reboot(RB_POWEROFF);