#if (CPU_MIPS == 32)
  #include "thread-mips32.c"
#else
  #error Missing thread impl
#endif