162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifdef __i386__ 362306a36Sopenharmony_ci#include "faultinfo_32.h" 462306a36Sopenharmony_ci#else 562306a36Sopenharmony_ci#include "faultinfo_64.h" 662306a36Sopenharmony_ci#endif 7