100644 blob 2b7b7c08b6d0e81c719c11fcfa395e36525cd442	Makefile.am
100644 blob 018df7e9812799c90bc5173279a4ef366bc4474e	vki_arch.h
100644 blob 1e8dbf0bc92c2c87a613fcdbb956ea64f07be490	vki_arch_posixtypes.h