ref: 3997e19fbe2c91c70e515117ddd53e3fd67e6936 dir: /cmd/reboot.c/
#include <x86.h> #include <err.h> int reboot_main(int argc, char **argv, char *cwd) { outb(KBC, 0xFE); return OK; /* we likely never get to here, maybe we should do noreturn */ }