ref: bca9835d23cd289d8cca68116ce961c190fbb688 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 */ }