31a32,33
> #include "arch/alpha/kernel_stats.hh"
>
36,37d37
< #include "arch/generic/linux/threadinfo.hh"
< #include "arch/alpha/kernel_stats.hh"
38a39
> #include "arch/generic/linux/threadinfo.hh"