100644 blob 7fbf732f168f1c1a8d2262b65851a27d41a2057c	evtchn.h
100644 blob 48d2790ef928c798279babb69fbd07f7d6dcc20d	gntalloc.h
100644 blob 6d1163456c03e138e61a098b3d8fff59e123b1a8	gntdev.h
100644 blob 39d3e7b8e993e94a7472e91518c5f515bafe2d28	privcmd.h