--- src/lib/libcaps/i386/td_switch.c 2003/12/04 22:06:22 1.1 +++ src/lib/libcaps/i386/td_switch.c 2004/07/29 08:55:02 1.2 @@ -37,7 +37,7 @@ void cpu_exit_switch(struct thread *); void cpu_init_thread(struct thread *td) { - td->td_sp = td->td_kstack + THREAD_STACK - sizeof(void *); + td->td_sp = td->td_kstack + td->td_kstack_size - sizeof(void *); td->td_switch = cpu_lwkt_switch; }