arch_thread.h revision ec16be93
1