Fixed a few minor issues.

This commit is contained in:
Bahadir Balban
2009-10-18 16:16:32 +03:00
parent 72af4a843a
commit a3a90530df
10 changed files with 40 additions and 14 deletions

View File

@@ -268,7 +268,8 @@ static inline void context_switch(struct ktcb *next)
{
struct ktcb *cur = current;
// printk("(%d) to (%d)\n", cur->tid, next->tid);
//printk("(%d) to (%d)\n", cur->tid, next->tid);
/* Flush caches and everything */
arch_hardware_flush(TASK_PGD(next));