===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/gc/mark_rts.c,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM_contrib2/asir2000/gc/mark_rts.c	2000/04/10 08:31:31	1.2
+++ OpenXM_contrib2/asir2000/gc/mark_rts.c	2000/12/01 09:26:12	1.3
@@ -412,9 +412,8 @@ ptr_t cold_gc_frame;
 	if (0 == cold_gc_frame) return;
 #       ifdef STACK_GROWS_DOWN
     	  GC_push_all_eager(GC_approx_sp(), cold_gc_frame);
-#	  ifdef IA64
-	    --> fix this
-#	  endif
+	  /* For IA64, the register stack backing store is handled 	*/
+	  /* in the thread-specific code.				*/
 #       else
 	  GC_push_all_eager( cold_gc_frame, GC_approx_sp() );
 #       endif
@@ -505,6 +504,9 @@ ptr_t cold_gc_frame;
 	/* In the USE_GENERIC_PUSH_REGS case, this is done inside	*/
 	/* GC_push_regs, so that we catch callee-save registers saved	*/
 	/* inside the GC_push_regs frame.				*/
+	/* In the case of linux threads on Ia64, the hot section of	*/
+	/* the main stack is marked here, but the register stack	*/
+	/* backing store is handled in the threads-specific code.	*/
 #   endif
     if (GC_push_other_roots != 0) (*GC_push_other_roots)();
     	/* In the threads case, this also pushes thread stacks.	*/