Index: kernel/arch/arm32/include/arch/asm.h
===================================================================
--- kernel/arch/arm32/include/arch/asm.h	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ kernel/arch/arm32/include/arch/asm.h	(revision 5b9993b49f8397a774a9ba98c8299b2b7d423b56)
@@ -95,24 +95,4 @@
 }
 
-/** Return base address of current stack.
- *
- * Return the base address of the current stack.
- * The stack is assumed to be STACK_SIZE bytes long.
- * The stack must start on page boundary.
- *
- */
-_NO_TRACE static inline uintptr_t get_stack_base(void)
-{
-	uintptr_t v;
-
-	asm volatile (
-	    "and %[v], sp, %[size]\n"
-	    : [v] "=r" (v)
-	    : [size] "r" (~(STACK_SIZE - 1))
-	);
-
-	return v;
-}
-
 extern void cpu_halt(void) __attribute__((noreturn));
 extern void asm_delay_loop(uint32_t t);
Index: kernel/arch/arm32/include/arch/context.h
===================================================================
--- kernel/arch/arm32/include/arch/context.h	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ kernel/arch/arm32/include/arch/context.h	(revision 5b9993b49f8397a774a9ba98c8299b2b7d423b56)
@@ -42,5 +42,5 @@
 #include <arch/regutils.h>
 
-/* Put one item onto the stack to support get_stack_base() and align it up. */
+/* Put one item onto the stack to support CURRENT and align it up. */
 #define SP_DELTA  (0 + ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT))