100644 blob f2812dc3b9b0a71154cc109c050ed2b030aabff5	arch-arm.h
100644 blob 7ce1ae0d38f9694b0f9d8f30c1284941cb5bba23	event_channel.h
040000 tree 787d09229088f3a023061af3f8828b69d8b8cdb1	hvm
040000 tree b9bb138d0a893023f8b6b607ed5a2d6be28a9ba2	io
100644 blob c2a463974903cd437a512b06f9b65ed9ed8b51e1	memory.h
100644 blob e9a29a172df185b73d644bb993bb86569c9d16f5	sched.h
100644 blob 8b7c478656bcbe3996d7443410ec20e1392abbff	xen.h