100644 blob 7fbf732f168f1c1a8d2262b65851a27d41a2057c	evtchn.h
100644 blob 48d2790ef928c798279babb69fbd07f7d6dcc20d	gntalloc.h
100644 blob fe4423e518c674020d92629942c5655f935b22c8	gntdev.h
100644 blob d2029556083e27692430530f72539c13d1621ff2	privcmd.h