Index: arch/ia64/src/dummy.s
===================================================================
--- arch/ia64/src/dummy.s	(revision 481c5202d2e887d791708a8b70c6dfb8ccb36d3d)
+++ arch/ia64/src/dummy.s	(revision 97f1691963436356ca38316e0966ffeb57cd5639)
@@ -33,4 +33,5 @@
 .global userspace
 .global before_thread_runs_arch
+.global after_thread_ran_arch
 .global cpu_sleep
 .global dummy
@@ -40,4 +41,5 @@
 
 before_thread_runs_arch:
+after_thread_ran_arch:
 userspace:
 calibrate_delay_loop: