arch_thread.h revision 8848d597
1