Use accessors when referring to global kernel objects

The kernel_map/kernel_pmap/kernel_task/etc... names were reused as they
were in the Mach source code. They've been a (mostly harmless) long-standing
violation of the coding rules.

1 files changed, 7 insertions, 4 deletions

diff --git a/kern/task.h b/kern/task.h
index 149ff49d..4573979e 100644
--- a/kern/task.h
+++ b/kern/task.h
@@ -43,10 +43,13 @@ struct task {
     char name[TASK_NAME_SIZE];
 };
 
-/*
- * The kernel task.
- */
-extern struct task *kernel_task;
+static inline struct task *
+task_get_kernel_task(void)
+{
+    extern struct task task_kernel_task;
+
+    return &task_kernel_task;
+}
 
 static inline void
 task_ref(struct task *task)