Index: kernel/arch/abs32le/include/context.h
===================================================================
--- kernel/arch/abs32le/include/context.h	(revision 82474ef569903ac99835ea373081f03a5195c413)
+++ kernel/arch/abs32le/include/context.h	(revision d32358f46cafe03f9b3c769982c62f90757ba1c4)
@@ -36,16 +36,6 @@
 #define KERN_abs32le_CONTEXT_H_
 
-#ifdef KERNEL
-#include <arch/types.h>
-
 #define STACK_ITEM_SIZE  4
 #define SP_DELTA         0
-
-#define context_set(c, _pc, stack, size) \
-	do { \
-		(c)->pc = (uintptr_t) (_pc); \
-	} while (0)
-
-#endif /* KERNEL */
 
 /*
Index: kernel/arch/abs32le/include/interrupt.h
===================================================================
--- kernel/arch/abs32le/include/interrupt.h	(revision 82474ef569903ac99835ea373081f03a5195c413)
+++ kernel/arch/abs32le/include/interrupt.h	(revision d32358f46cafe03f9b3c769982c62f90757ba1c4)
@@ -40,4 +40,6 @@
 #define IVT_ITEMS  0
 #define IVT_FIRST  0
+
+#define VECTOR_TLB_SHOOTDOWN_IPI  0
 
 /*