95 |
|
|
96 |
/* We need a bit of extra space on the stack for |
/* We need a bit of extra space on the stack for |
97 |
l4_thread_switch. */ |
l4_thread_switch. */ |
98 |
__thread_set_stack_pointer (small_sub_stack); |
__thread_set_stack_pointer (small_sub_stack + sizeof (small_sub_stack)); |
99 |
|
|
100 |
/* We can't use while(1), because then gcc will become clever and |
/* We can't use while(1), because then gcc will become clever and |
101 |
optimize away everything after thread_switch_entry. */ |
optimize away everything after thread_switch_entry. */ |