Index: kernel/arch/arm64/include/arch/asm.h
===================================================================
--- kernel/arch/arm64/include/arch/asm.h	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ kernel/arch/arm64/include/arch/asm.h	(revision 4f663f3eb077aa3ae5993134d3a7ec64ffa4f316)
@@ -52,24 +52,4 @@
 {
 	asm volatile ("wfe");
-}
-
-/** 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 (
-	    "mov %[v], sp\n"
-	    "and %[v], %[v], %[size]\n"
-	    : [v] "=&r" (v)
-	    : [size] "r" (~((uint64_t) STACK_SIZE - 1))
-	);
-
-	return v;
 }
 
Index: kernel/arch/arm64/include/arch/context.h
===================================================================
--- kernel/arch/arm64/include/arch/context.h	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ kernel/arch/arm64/include/arch/context.h	(revision 4f663f3eb077aa3ae5993134d3a7ec64ffa4f316)
@@ -41,5 +41,5 @@
 #include <arch/stack.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))