42d41
< #include "arch/generic/linux/threadinfo.hh"
43a43,44
>
> #include "arch/generic/linux/threadinfo.hh"