luxos/kernel/kernel/epilogue.c

void reboot()
{
    unsigned char good = 0x02;
    while ((good & 0x02) != 0)
        good = inportb(0x64);
    outportb(0x64, 0xFE);
    __asm__ __volatile__ ("hlt");
}