100644 blob b0e35987591f1743e8f89bbae0304249abcb0ffd	event_channel.h
100644 blob 4acd4bd193bcb00a46cabdc1e20bb402ba6efbf1	grant_table.h
040000 tree c8af9f96f842dc683ccc60326f46d73700137398	hvm
040000 tree 39d41a52395cdad2e1e969a0169d0a447653613b	io
100644 blob 59a95dbc738bebbc4cea10ca7fa55deda0eabc42	memory.h
100644 blob 387589be495590bc897c8cd5981b496e636e6326	sched.h
100644 blob eec8ab75b9cef0453f717ce61ca2c8211b200ec3	xen.h