void platform_halt(void)
{
for (;;) {
x86_cli();
x86_hlt();
}
}
void
i386_ipi_halt(struct cpu_info *ci)
{
x86_disable_intr();
atomic_and_32(&ci->ci_flags, ~CPUF_RUNNING);
for(;;) {
x86_hlt();
}
}
static void exception_die(struct x86_iframe *frame, const char *msg)
{
dprintf(CRITICAL, msg);
dump_fault_frame(frame);
for (;;) {
x86_cli();
x86_hlt();
}
}
void x86_startup(void)
{
tlsf_add_pool(early_malloc_pool, sizeof early_malloc_pool);
x86_early_init_uart();
x86_init_threading();
x86_init_interrupts();
x86_init_pic();
x86_init_uart();
x86_init_memory();
x86_init_rtc();
x86_init_pit();
x86_init_hwtimer();
x86_init_pci();
puts("RIOT x86 hardware initialization complete.");
x86_init_board();
puts("RIOT board initialization complete.");
kernel_init(); /* should not return */
puts("kernel_init returned");
x86_hlt();
}
