#include <mach/thread_switch.h>
#include <ipc/ipc_port.h>
#include <ipc/ipc_space.h>
-#include <kern/counters.h>
+#include <kern/counter.h>
#include <kern/ipc_kobject.h>
#include <kern/processor.h>
#include <kern/sched.h>
}
enable_preemption();
- counter(c_swtch_block++);
-
thread_yield_with_continuation((thread_continue_t)swtch_continue, NULL);
}
}
enable_preemption();
- counter(c_swtch_pri_block++);
-
thread_depress_abstime(thread_depress_time);
thread_yield_with_continuation((thread_continue_t)swtch_pri_continue, NULL);