- movl 8(%esp),%ebx /* get new thread */
- movl %ebx,%gs:CPU_ACTIVE_THREAD /* new thread is active */
- movl TH_KERNEL_STACK(%ebx),%ecx /* get its kernel stack */
- lea KERNEL_STACK_SIZE-IKS_SIZE-IEL_SIZE(%ecx),%ebx
+ movl 8(%esp),%ecx /* get new thread */
+ movl %ecx,%gs:CPU_ACTIVE_THREAD /* new thread is active */
+ movl TH_KERNEL_STACK(%ecx),%ebx /* get its kernel stack */
+ lea -IKS_SIZE-IEL_SIZE(%ebx),%ecx
+ add EXT(kernel_stack_size),%ecx