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