Index: kernel/arch/abs32le/include/arch/context.h
===================================================================
--- kernel/arch/abs32le/include/arch/context.h	(revision 8addb24acd8c8ad903505217be1dba5c2812d7a9)
+++ kernel/arch/abs32le/include/arch/context.h	(revision 1eaead40ef1e81dc0e203498597d60b2e71fcd27)
@@ -49,5 +49,4 @@
 	uintptr_t sp;
 	uintptr_t pc;
-	ipl_t ipl;
 } context_t;
 
Index: kernel/arch/abs32le/include/arch/context_offset.h
===================================================================
--- kernel/arch/abs32le/include/arch/context_offset.h	(revision 8addb24acd8c8ad903505217be1dba5c2812d7a9)
+++ kernel/arch/abs32le/include/arch/context_offset.h	(revision 1eaead40ef1e81dc0e203498597d60b2e71fcd27)
@@ -37,5 +37,4 @@
 
 #define OFFSET_PC  0x00
-#define OFFSET_IPL 0x04
 
 #endif