100644 blob 788114479e17ce94f740fcbb3c177926b4f9889a	console.h
040000 tree bae6e5c79c842d58f4b11c94759689db829b76f8	dom0
100644 blob cbad8162cbb3a3e7853ef9e7fbdec4fdc448f1bb	events.h
100644 blob 756bf80d88430a7a8590af318792aab620dc6fa3	generic.h
100644 blob da865fc4c70e280435aa877847e2e0711d4bd4ab	gnttab.h
100644 blob 1848705975a7abdf18947477473d38a2a4015e34	hvm.h
100644 blob 636f09988566b12bc66e1272b60a5e484d38f5db	memory.h
040000 tree ef5ac37d5ab4fdb635d11ae436ae86f527a67866	public