void start_scheduler() { setup_irq(TIMER_IRQ, &timer_handler); start_hw(); switch_to_ctx(liste); }
void start_sched(void){ //Association de la fonction yield à l'interruption TIMER_IRQ setup_irq(TIMER_IRQ, yield); //Initialisation du matériel start_hw(); //Lancement de la fonction yield yield(); }
void start_sched() { setup_irq(TIMER_IRQ, yield); setup_irq(HDA_IRQ, inst_done); start_hw(); }
void start_sched() { setup_irq(TIMER_IRQ,yield); start_hw(); irq_enable(); }