+/*-- No regsiters live (probably a void return) ----------------------------- */
+
+INFO_TABLE_SRT_BITMAP(stg_gc_noregs_ret_info, stg_gc_noregs_ret, 0/*BITMAP*/,
+ 0/*SRT*/, 0/*SRT_OFF*/, 0/*SRT_LEN*/,
+ RET_SMALL,, EF_, 0, 0);
+
+EXTFUN(stg_gc_noregs_ret)
+{
+ FB_
+ JMP_(ENTRY_CODE(Sp[0]));
+ FE_
+}