/SPARTAN/trunk/src/main/kinit.c |
---|
40,6 → 40,7 |
#include <mm/page.h> |
#include <arch/mm/page.h> |
#include <mm/vm.h> |
#include <print.h> |
#ifdef __SMP__ |
#include <arch/smp/mps.h> |
/SPARTAN/trunk/src/main/uinit.c |
---|
30,7 → 30,9 |
#include <arch/types.h> |
#include <proc/thread.h> |
#include <userspace.h> |
#include <print.h> |
void uinit(void *arg) |
{ |
printf("USER task, uinit thread: kernel mode\n"); |