1 files changed, 14 insertions, 0 deletions
diff --git a/include/kern/priv.h b/include/kern/priv.h
new file mode 100644
index 0000000..8940b23
--- /dev/null
+++ b/include/kern/priv.h
@@ -0,0 +1,14 @@
+#ifndef _KERN_PRIV_H_
+#define _KERN_PRIV_H_
+
+#include "kern/common.h"
+
+uint32_t get_control_register();
+
+void set_control_register(uint32_t reg); 
+
+/* Enters user mode from privilieged mode. */
+void enter_user_mode();
+
+
+#endif /* _KERN_PRIV_H_ */