From bd1ed224590700c7568dd6a73a2dadcda238b1d5 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ens.fr>
Date: Sun, 7 Dec 2014 20:11:06 +0100
Subject: Information about current PD now stored in current_task->current_pd_d

---
 kernel/include/task.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'kernel/include')

diff --git a/kernel/include/task.h b/kernel/include/task.h
index 8ba50b0..2c3f6ef 100644
--- a/kernel/include/task.h
+++ b/kernel/include/task.h
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <sys.h>
+#include <paging.h>
 #include <region.h>
 
 #define T_STATE_RUNNING		1
@@ -9,6 +10,8 @@
 
 #define KPROC_STACK_SIZE 0x8000	// 8Kb
 
+#define TASK_SWITCH_FREQUENCY	100		// in herz
+
 typedef struct saved_context {
 	uint32_t *esp;
 	void (*eip)();
@@ -16,6 +19,7 @@ typedef struct saved_context {
 
 typedef struct task {
 	saved_context_t ctx;
+	pagedir_t *current_pd_d;
 
 	uint32_t state;
 	void* result;
-- 
cgit v1.2.3