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