Index: arch/ia64/src/fake.s
===================================================================
--- arch/ia64/src/fake.s	(revision ac5d02b7ec81adf50a7070d07dc35f5f6df54639)
+++ arch/ia64/src/fake.s	(revision e41c47e1d7d10c98e4e47d12b4b3f9df0bd9029a)
@@ -43,5 +43,4 @@
 .global cpu_sleep
 .global frame_arch_init
-.global map_page_to_frame
 
 before_thread_runs_arch:
@@ -59,5 +58,4 @@
 cpu_sleep:
 frame_arch_init:
-map_page_to_frame:
 	br.ret.sptk.many b0