Changeset da585a52 in mainline for arch/ia32/src/userspace.c

Timestamp:

2005-05-11T18:58:54Z (20 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d7568a9f

Parents:

93ca46f

Message:

doxygen-style comments

File:

• arch/ia32/src/userspace.c (modified) (2 diffs)

arch/ia32/src/userspace.c

@@ -34 +34 @@
 #include <mm/vm.h>
 
+
+/** Enter userspace
+ *
+ * Change CPU protection level to 3, enter userspace.
+ *
+ */
 void userspace(void)
 {
@@ -48 +54 @@
             "iret"
             : : "i" (selector(UDATA_DES) | PL_USER), "i" (USTACK_ADDRESS+THREAD_STACK_SIZE-1000), "r" (pri), "i" (selector(UTEXT_DES) | PL_USER), "i" (UTEXT_ADDRESS));
-        /* NOT REACHED */
-
+        
+        /* Unreachable */
         for(;;);
 }