/SPARTAN/trunk/include/arch.h |
---|
36,12 → 36,10 |
#include <arch/cpu.h> |
#include <arch/asm.h> |
#include <proc/thread.h> |
#include <proc/task.h> |
#define CPU THE->cpu |
#define THREAD THE->thread |
#define TASK THE->task |
#define VM THE->vm |
#define PREEMPTION_DISABLED THE->preemption_disabled |
#ifndef early_mapping |
58,6 → 56,7 |
thread_t *thread; /* current thread */ |
task_t *task; /* current task */ |
cpu_t *cpu; /* executing cpu */ |
vm_t *vm; /* current vm */ |
}; |
#define THE ((the_t *)(get_stack_base())) |
/SPARTAN/trunk/include/mm/page.h |
---|
108,6 → 108,7 |
extern void page_init(void); |
extern void map_page_to_frame(__address page, __address frame, int flags, __address root); |
extern pte_t *find_mapping(__address page, __address root); |
extern void map_structure(__address s, size_t size); |
#endif |
/SPARTAN/trunk/include/mm/vm.h |
---|
31,6 → 31,7 |
#include <arch/mm/page.h> |
#include <arch/mm/vm.h> |
#include <arch/mm/asid.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/spinlock.h> |
74,6 → 75,7 |
spinlock_t lock; |
link_t vm_area_head; |
pte_t *ptl0; |
asid_t asid; |
}; |
extern vm_t * vm_create(pte_t *ptl0); |