EXTRA_DIST = linux-debug.c linux-prim.c linux-tracefile.c	\
	linux-fs.c linux-mem.c linux-proc.c linux-utils.c linux-lock.c	\
	linux-module.c linux-sync.c linux-curproc.c linux-tcpip.c	\
	linux-cpu.c linux-crypto.c linux-crypto-crc32.c linux-crypto-adler.c \
	linux-crypto-crc32pclmul.c linux-crypto-crc32c-pclmul.c \
	crc32-pclmul_asm.S crc32c-pcl-intel-asm_64.S inst.h