2 # The "nobase" means that the vki/ path on some of them will be preserved
3 # when they are installed into $(includedir)/valgrind.
4 nobase_pkginclude_HEADERS = \
6 pub_tool_basics_asm.h \
10 pub_tool_clientstate.h \
12 pub_tool_deduppoolalloc.h \
13 pub_tool_debuginfo.h \
15 pub_tool_execontext.h \
16 pub_tool_gdbserver.h \
18 pub_tool_poolalloc.h \
19 pub_tool_hashtable.h \
21 pub_tool_libcassert.h \
23 pub_tool_libcprint.h \
25 pub_tool_libcsetjmp.h \
26 pub_tool_libcsignal.h \
28 pub_tool_mallocfree.h \
33 pub_tool_replacemalloc.h \
37 pub_tool_stacktrace.h \
38 pub_tool_threadstate.h \
39 pub_tool_tooliface.h \
42 pub_tool_vkiscnums.h \
43 pub_tool_vkiscnums_asm.h \
49 vki/vki-posixtypes-amd64-linux.h \
50 vki/vki-posixtypes-arm64-linux.h \
51 vki/vki-posixtypes-ppc32-linux.h \
52 vki/vki-posixtypes-ppc64-linux.h \
53 vki/vki-posixtypes-x86-linux.h \
54 vki/vki-posixtypes-arm-linux.h \
55 vki/vki-posixtypes-s390x-linux.h \
56 vki/vki-posixtypes-mips32-linux.h \
57 vki/vki-posixtypes-mips64-linux.h \
58 vki/vki-amd64-linux.h \
59 vki/vki-arm64-linux.h \
60 vki/vki-ppc32-linux.h \
61 vki/vki-ppc64-linux.h \
64 vki/vki-s390x-linux.h \
65 vki/vki-mips32-linux.h \
66 vki/vki-mips64-linux.h \
67 vki/vki-scnums-amd64-linux.h \
68 vki/vki-scnums-arm64-linux.h \
69 vki/vki-scnums-ppc32-linux.h \
70 vki/vki-scnums-ppc64-linux.h \
71 vki/vki-scnums-x86-linux.h \
72 vki/vki-scnums-arm-linux.h \
73 vki/vki-scnums-s390x-linux.h \
74 vki/vki-scnums-mips32-linux.h \
75 vki/vki-scnums-mips64-linux.h \
76 vki/vki-scnums-darwin.h \
78 vki/vki-xen-domctl.h \
79 vki/vki-xen-evtchn.h \
80 vki/vki-xen-gnttab.h \
82 vki/vki-xen-memory.h \
83 vki/vki-xen-mmuext.h \
84 vki/vki-xen-sysctl.h \
86 vki/vki-xen-version.h \