static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, unsigned int r3, unsigned int r4, unsigned int addr)
{
vga_blank();
uart_force_sync(1);
irq_setmask(0);
irq_enable(0);
boot_helper(r1, r2, r3, r4, addr);
while(1);
}
static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, unsigned int r3, unsigned int addr)
{
printf("Executing booted program.\n");
uart_sync();
irq_setmask(0);
irq_setie(0);
flush_cpu_icache();
boot_helper(r1, r2, r3, addr);
while(1);
}
static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, unsigned int r3, unsigned int r4, unsigned int addr)
{
#ifdef FIXME
vga_blank();
#endif
/*uart_force_sync(1);
printf("Z1\n");
irq_setmask(0);
printf("Z2\n");
irq_enable(0);
printf("Z3\n");*/
/*printf("disable irq\n");
irq_setmask(0);
irq_enable(0);*/
printf("jump to %d\n", addr);
boot_helper(r1, r2, r3, r4, addr);
while(1);
}
