1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifdef __i386__ 3 #include "faultinfo_32.h" 4 #else 5 #include "faultinfo_64.h" 6 #endif 7