100644 blob 8587ce81a33a53fe408939be72dcfe7afe6f5027	bti.h
100644 blob 74e5dca39685edde54d5b95323d970bc8c5784ca	channel.h
100644 blob 6d580cb990c213a584eabcc70401a4e893bbabd1	debuglog.h
100644 blob 554899f4e28267794d7b650ee80cf095b861f214	event.h
100644 blob 2340fba1e304970a541e28ac645c95299c72ebc7	eventpair.h
100644 blob a4cdc2d8782acf40012fe04ff9f4ef67a19a8f5e	exception.h
100644 blob 2fa2e1c02bd6fbd84fbdb74717b2d6e5106a8262	fifo.h
100644 blob adc385fef268106dfcab8312c12b7809398c01be	guest.h
100644 blob 3daca009f5fae786687c515edaa04733ec5134e5	handle.h
100644 blob a0f8803fda8a2447e709c1f7d9f6c6f66d9f422f	interrupt.h
100644 blob 19a6dc8563c13dd528e12da53666c5c279287577	iommu.h
100644 blob 0feb0fcb5f9128578aaa3c36b2ffaa449791e492	job.h
100644 blob 15a71c461f00d45335658e340adec8c6fc838229	object.h
100644 blob 6efdb65cafa0eaf2f71f49c71da68fb7118b5f66	object_traits.h
100644 blob 53778ede5cadb5898e80a1e7a005a10b2f191e1c	pager.h
100644 blob 5c260401207b932c03e9282bd8857a13d3d00484	pmt.h
100644 blob 4cf98a974b06b6f44d54c1549f2bf7dc516e55b0	port.h
100644 blob 74e3fec964d4272eb48fccd646d4150f5c9e0302	process.h
100644 blob 6ec2122e4fbd2f5ff777bb338d3537ea4f5bafcd	profile.h
100644 blob a625d9d1e7f176f97a32194c279866bead930ab4	resource.h
100644 blob 4f720168ce41c358c4e0e4321400f32fcb629ef8	socket.h
100644 blob e07d0d1ef219a61a5f30e225c031bc907a0beaad	suspend_token.h
100644 blob 67748ad7f0210b99d99ed896644ce7f665827411	task.h
100644 blob c5d2ed4d8104cb3708247dc88bc48b03e6f5cf24	thread.h
100644 blob 7b7e25cda1f8688633f55c2fb7f60c06353bbb36	time.h
100644 blob a95f1e9c52e84f7465c80cca7d1582723390f216	timer.h
100644 blob f1a9eb94e2ca12f606f429e02dab2acbf533f074	vcpu.h
100644 blob 1a0b6d0befa657ab70e5626c3298d5160b408dd9	vmar.h
100644 blob 16038e3352c11bc4a44d69d340f496bc0fae4d4a	vmo.h