void reboot()
{
    unsigned char temp;

    asm volatile("CLI");

    do
    {
        temp = inportb(KBRD_INTRFC);
        if (check_flag(temp, KBRD_BIT_KDATA) != 0)
            inportb(KBRD_IO);
    } while (check_flag(temp, KBRD_BIT_UDATA) != 0);

    outportb(KBRD_INTRFC, KBRD_RESET);
    asm volatile("HLT");
}