+/* Reboots the machine we're running on. */
+void
+reboot (void)
+{
+ int i;
+
+ printf ("Rebooting...\n");
+
+ /* based on reboot.c code by Osamu Tomita <tomita@cinet.co.jp>
+ * See http://www.win.tue.nl/~aeb/linux/kbd/scancodes-11.html */
+ for (i = 0; i < 100; i++) {
+ int j;
+
+ /* Poll keyboard controller's status byte until
+ * 'input buffer empty' is reported, so it's ok to write */
+ for (j = 0; j < 0x10000; j++)
+ {
+ if ((inb (0x64) & 0x02) == 0)
+ break;
+ timer_usleep (2);
+ }
+
+ timer_usleep (50);
+
+ /* Pulse bit 0 of the output port P2 of the keyboard controller.
+ * This will reset the CPU. */
+ outb (0x64, 0xfe);
+ timer_usleep (50);
+ }
+}
+