040000 tree 6fa2aae78d6f90d04de75bbc664fc4747e2b9bcd	io
100644 blob 7efcdaa8fe92d7f31e3f3d22d71e7c65b01b63f9	xen.h
100644 blob 852c2ea64c6be0414a805cc9890863723fa5aba6	xen_backend.h
100644 blob e00ddd7b5bedb05a50eefe61ecc71f16e9701e14	xen_common.h
100644 blob d473e9b34d16747448aaf627c421ba0664e9b890	xen_pvdev.h