code to reboot a pc using keyboard controller

reboot.c

void reboot(void)
{

	while (1) { /* keep trying if it doesn't work */
		/* wait for the output buffer to be empty */
		while (inb(KEYBOARD_CMD_PORT) & KEYBOARD_OUTBUF_FULL_MASK)
			;
		/* send the command to have the keyboard controller reboot the machine.
		 * wtf. */
		outb(KEYBOARD_CMD_PORT, KEYBOARD_CMD_REBOOT);
	}
}