arch_thread.h revision 6c678c57
1