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 8
