1 #ifdef __i386__
2 #include "faultinfo_32.h"
3 #else
4 #include "faultinfo_64.h"
5 #endif
6