Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 4250 → Rev 4251

/trunk/kernel/arch/ia32/src/ia32.c
237,5 → 237,12
return addr;
}
 
void arch_reboot(void)
{
#ifdef CONFIG_PC_KBD
i8042_cpu_reset((i8042_t *) I8042_BASE);
#endif
}
 
/** @}
*/