Index: kernel/arch/mips32/include/arch/context_struct.h
===================================================================
--- kernel/arch/mips32/include/arch/context_struct.h	(revision 8addb24acd8c8ad903505217be1dba5c2812d7a9)
+++ kernel/arch/mips32/include/arch/context_struct.h	(revision 5110d0a1ed08ccaa0107b3c666b72c97dacb98d1)
@@ -43,6 +43,5 @@
 #define CONTEXT_OFFSET_GP  0x2c
 #define CONTEXT_OFFSET_TP  0x30
-#define CONTEXT_OFFSET_IPL 0x34
-#define CONTEXT_SIZE       0x38
+#define CONTEXT_SIZE       0x34
 
 #ifndef __ASSEMBLER__
@@ -66,5 +65,4 @@
 	/* We use the K1 register for userspace thread pointer. */
 	uint32_t tp;
-	ipl_t ipl;
 } context_t;