#include "proc_p.h"
#include "proc.h"
+#include "idle.h"
#include <kern/irq.h>
#include <kern/monitor.h>
static Timer preempt_timer;
-// fwd decl from idle.c
-void idle_init(void);
-
-
void proc_schedule(void)
{
IRQ_DISABLE;
TRACEMSG("launching %p:%s", CurrentProcess, proc_currentName());
}
-void proc_preempt(UNUSED_ARG(void *, param)
+void proc_preempt(UNUSED_ARG(void *, param))
{
if (!preempt_forbid_cnt)
{
irq_register(SIGUSR1, proc_schedule);
- timer_setSoftint(&preempt_timer, proc_preempt_timer, NULL);
+ timer_setSoftint(&preempt_timer, proc_preempt, NULL);
timer_setDelay(&preempt_timer, CONFIG_KERN_QUANTUM);
timer_add(&preempt_timer);