Index: kernel/arch/mips32/include/cycle.h
===================================================================
--- kernel/arch/mips32/include/cycle.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/arch/mips32/include/cycle.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup mips2
+/** @addtogroup mips32
  * @{
  */
Index: kernel/arch/mips32/include/debug.h
===================================================================
--- kernel/arch/mips32/include/debug.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/arch/mips32/include/debug.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -34,5 +34,5 @@
 
 #ifndef KERN_mips32_DEBUG_H_
-#define KERN_mips23_DEBUG_H_
+#define KERN_mips32_DEBUG_H_
 
 /** Enter the simulator trace mode */
Index: kernel/arch/mips32/include/mm/frame.h
===================================================================
--- kernel/arch/mips32/include/mm/frame.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/arch/mips32/include/mm/frame.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -42,6 +42,4 @@
 #ifndef __ASM__
 
-#include <typedefs.h>
-
 extern void frame_arch_init(void);
 extern void physmem_print(void);
Index: kernel/arch/mips32/include/stack.h
===================================================================
--- kernel/arch/mips32/include/stack.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/arch/mips32/include/stack.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -39,12 +39,4 @@
 #define STACK_ALIGNMENT		8
 
-#define STACK_ARG0		0
-#define STACK_ARG1		4
-#define STACK_ARG2		8
-#define STACK_ARG3		12
-#define STACK_ARG4		16
-#define STACK_ARG5		20
-#define STACK_ARG6		24
-
 #endif
 
Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -37,5 +37,5 @@
 #include <arch.h>
 #include <arch/cp0.h>
-#include <print.h>	
+#include <print.h>
 
 struct data_t {
Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/arch/mips32/src/start.S	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -222,6 +222,5 @@
 	
 	/* move $k0 pointer to kernel stack */
-	lui $k0, %hi(supervisor_sp)
-	ori $k0, $k0, %lo(supervisor_sp)
+	la $k0, supervisor_sp
 	
 	/* move $k0 (supervisor_sp) */
Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ kernel/generic/include/mm/as.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -65,4 +65,5 @@
 #include <arch/mm/as.h>
 #include <arch/mm/asid.h>
+#include <arch/istate.h>
 #include <typedefs.h>
 #include <synch/spinlock.h>
Index: uspace/lib/c/arch/mips32/include/atomic.h
===================================================================
--- uspace/lib/c/arch/mips32/include/atomic.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/include/atomic.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -31,5 +31,5 @@
  */
 /** @file
- * @ingroup libcmips32eb
+ * @ingroup libcmips32
  */
 
Index: uspace/lib/c/arch/mips32/include/fibril.h
===================================================================
--- uspace/lib/c/arch/mips32/include/fibril.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/include/fibril.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup libcmips32	
+/** @addtogroup libcmips32
  * @{
  */
 /** @file
- * @ingroup libcmips32eb	
+ * @ingroup libcmips32
  */
 
Index: uspace/lib/c/arch/mips32/include/thread.h
===================================================================
--- uspace/lib/c/arch/mips32/include/thread.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/include/thread.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup libcmips32	
+/** @addtogroup libcmips32
  * @{
  */
 /** @file
- * @ingroup libcmips32eb	
+ * @ingroup libcmips32
  */
 
Index: uspace/lib/c/arch/mips32/include/tls.h
===================================================================
--- uspace/lib/c/arch/mips32/include/tls.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/include/tls.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup libcmips32	
+/** @addtogroup libcmips32
  * @{
  */
 /** @file
- * @ingroup libcmips32eb	
+ * @ingroup libcmips32
  */
 
Index: uspace/lib/c/arch/mips32/include/types.h
===================================================================
--- uspace/lib/c/arch/mips32/include/types.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/include/types.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -31,5 +31,5 @@
  */
 /** @file
- * @ingroup libcmips32eb
+ * @ingroup libcmips32
  */
 
Index: uspace/lib/c/arch/mips32/src/syscall.c
===================================================================
--- uspace/lib/c/arch/mips32/src/syscall.c	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/src/syscall.c	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,9 +27,9 @@
  */
 
- /** @addtogroup libcmips32
+/** @addtogroup libcmips32
  * @{
  */
 /** @file
-  * @ingroup libcmips32eb	
+  * @ingroup libcmips32
  */
 
@@ -64,5 +64,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: uspace/lib/c/arch/mips32/src/tls.c
===================================================================
--- uspace/lib/c/arch/mips32/src/tls.c	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/c/arch/mips32/src/tls.c	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup libcmips32	
+/** @addtogroup libcmips32
  * @{
  */
 /** @file
- * @ingroup libcmips32eb	
+ * @ingroup libcmips32
  */
 
Index: uspace/lib/softfloat/arch/mips32/include/functions.h
===================================================================
--- uspace/lib/softfloat/arch/mips32/include/functions.h	(revision 5d5068606a18e27450340baa4f164a93d978c7ba)
+++ uspace/lib/softfloat/arch/mips32/include/functions.h	(revision 27ba40f4ccf8a83c8054ca09330d1974972b838c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup softfloatmips32 mips32	
+/** @addtogroup softfloatmips32 mips32
  * @ingroup sfl
  * @brief softfloat architecture dependent definitions 
@@ -72,6 +72,4 @@
 #endif
 
-
- /** @}
+/** @}
  */
-