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(); }