secgateway/kernel/linux-4.14.83/arch/x86/um/shared/sysdep/faultinfo.h

7 lines
120 B
C
Raw Normal View History

2019-06-11 07:43:23 +00:00
/* SPDX-License-Identifier: GPL-2.0 */
#ifdef __i386__
#include "faultinfo_32.h"
#else
#include "faultinfo_64.h"
#endif