100644 blob 77771e2fa0fdeadbc4444a204b114d823020c4cd	arch-arm.h
100644 blob dba62545713f964334e94839562b0b2d7278c550	event_channel.h
040000 tree 787d09229088f3a023061af3f8828b69d8b8cdb1	hvm
040000 tree b9bb138d0a893023f8b6b607ed5a2d6be28a9ba2	io
100644 blob c2a463974903cd437a512b06f9b65ed9ed8b51e1	memory.h
100644 blob e9a29a172df185b73d644bb993bb86569c9d16f5	sched.h
100644 blob 359e1a2abea7f58aab95ddccecbfd0422a3beb70	xen.h