100644 blob 4d97ec4cb42d3c1f52ec36c0f869a60d455b3bce	vki-amd64-linux.h
100644 blob 20044ae170a56bcfc7bd4256651fe1191027287d	vki-arm-linux.h
100644 blob 6c4b55950da9d22d9d8c8de04929000ff99aa1c7	vki-darwin.h
100644 blob 6ba909c6ac89161519e00605be0aa1bb49b7633c	vki-linux-drm.h
100644 blob b68862a889d87740808d87ed0cad5b1693fb61d8	vki-linux.h
100644 blob b99aef4f29e03f25558e07a970dbc3c6e62ee1bd	vki-mips32-linux.h
100644 blob 41185846ac762bcd326dad3f53c96656264c96da	vki-mips64-linux.h
100644 blob 4d0f1d459012416a8317b8f429ec292db3d54189	vki-posixtypes-amd64-linux.h
100644 blob d20c7ceaf7aafb1f04c2194f71b916fc6d00a6a4	vki-posixtypes-arm-linux.h
100644 blob 45d3ebfe9468ff8ecc66f201af63d15bb7f58c79	vki-posixtypes-mips32-linux.h
100644 blob 9f446fcc434efa5de34d2e6241d7b332fb161f7f	vki-posixtypes-mips64-linux.h
100644 blob bf93eaeb70da87d3184f94ff646f3696e576f51a	vki-posixtypes-ppc32-linux.h
100644 blob 669775894556c400c301e56f32b0e15f53786e11	vki-posixtypes-ppc64-linux.h
100644 blob f2c9e53d963d4da910c0cb8656d094f993e2cc5c	vki-posixtypes-s390x-linux.h
100644 blob e6c62355446050a6a11b373accfa7fde49a73cc4	vki-posixtypes-x86-linux.h
100644 blob 420d19c81eb0d9ca8e483ce7a30a0ffc0f8bd14d	vki-ppc32-linux.h
100644 blob 146e779f51fcd8293815bbc683b24b10a05911c8	vki-ppc64-linux.h
100644 blob caed21bceae9da0c086ad37c8e0a4cb7cf073550	vki-s390x-linux.h
100644 blob 85ade42bb36e1f410675d1cd472e9a5e418c659a	vki-scnums-amd64-linux.h
100644 blob 6a629cf31a2d0b3c58ca179f54d3f1841847e94c	vki-scnums-arm-linux.h
100644 blob 0e3801beecca698e2ca716eea0eba10aee6e359f	vki-scnums-darwin.h
100644 blob 4dafbc37d102597aa79df25aee0743d9507c0183	vki-scnums-mips32-linux.h
100644 blob 2dcae99edb50c20e99ea72b5675be5e2a8342026	vki-scnums-mips64-linux.h
100644 blob e865eb54df55d4529a852b6fdff4c1d392dccd6a	vki-scnums-ppc32-linux.h
100644 blob f7030f2b2a732e0d6825b9fd8c5a84e11ffa6132	vki-scnums-ppc64-linux.h
100644 blob 3ccb65dabdadba949c265fefd5666179e3696eda	vki-scnums-s390x-linux.h
100644 blob a1a3be61ee801fa0c65467731156bd79d1523e13	vki-scnums-x86-linux.h
100644 blob 3839ee7c0c143cf140f9e9fc29f642d45388ffef	vki-x86-linux.h
100644 blob 815e0a74b180479c0970a2596359fd62a639e037	vki-xen-domctl.h
100644 blob e7a331041b0540fb1038469c902cf056cb3a457e	vki-xen-evtchn.h
100644 blob 97ca6d8fed2c72dc9777436b726a88f98b1163ef	vki-xen-gnttab.h
100644 blob a64d4f3475f73853bbbaee6900d8d37c90c0c904	vki-xen-hvm.h
100644 blob eac78716db1c393b93ff30ed1c09f3c37f1d904d	vki-xen-memory.h
100644 blob e6f06f70924584963e6a4f7842871f751cbc2712	vki-xen-mmuext.h
100644 blob 453752cd3db6a99a76f706c231abc1ed29278d94	vki-xen-sysctl.h
100644 blob 6c6cae0feedd5ecfd570da1d448397b1861a79f3	vki-xen-version.h
100644 blob 240865b30e2860de7079870be7be97850211f2ab	vki-xen-x86.h
100644 blob 87fbb4f7c8759426b3e3d78f5bdc992a5785ece5	vki-xen.h