# but requires us to preserve %ebx, %ebp, %esi, %edi. See
# [SysV-ABI-386] pages 3-11 and 3-12 for details.
#
- # This stack frame must match the one set up by thread_create().
+ # This stack frame must match the one set up by thread_create()
+ # in size.
pushl %ebx
pushl %ebp
pushl %esi
# Discard switch_threads() arguments.
addl $8, %esp
- # Call schedule_tail(prev).
+ # Call thread_schedule_tail(prev).
pushl %eax
-.globl schedule_tail
- call schedule_tail
+.globl thread_schedule_tail
+ call thread_schedule_tail
addl $4, %esp
# Start thread proper.