# 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