100644 blob 4ce438bdd929d87fecd8c99a74d69d3f38edd362	bti.h
100644 blob 63b7c0a29a6dca8e3cec399b998e6f290fd9cd10	channel.h
100644 blob 39d1b8006d15be25a81a0d93129104b96c8e322e	clock.h
100644 blob 2e7cf4196b29b7e9a0750b73ad708e9328e8753d	debuglog.h
100644 blob a9d62af600db3ad34a7839c24e5478d34ffc4dec	event.h
100644 blob a46a6b0ac696ba739594eff01b84715b82750df8	eventpair.h
100644 blob d5cc75617042bfb535e9be79408528b89c530a4f	exception.h
100644 blob c95648b33c1414e3c9e8df657939dfb2df53a92f	fifo.h
100644 blob 2c4c7ef310ce8093f71bd276a150b7a6de580282	guest.h
100644 blob 930161db6059abef681f9fa68cfd5bd3b32f262a	handle.h
100644 blob bb55a0833d72fb5d7467ebd8900e1a9ce8550034	interrupt.h
100644 blob b19a2bb7ed9e16b9d29c15e31f26dd6e6556b94d	iommu.h
100644 blob 7047ffcd67befc9e924680b841c4951feb5f2606	job.h
100644 blob 710b4741f14bb2b3605090f37a6a9bd48668170a	object.h
100644 blob cb3441b4551b694c538429bd177f48580829440e	object_traits.h
100644 blob 7c389f7bb2df0c559a524f4c8c9f48f494fef58c	pager.h
100644 blob 8d095da0bb544810ad1daa4b5713b8e8e86c0574	pmt.h
100644 blob 01a0fe517391e1c5133bd0591f7a6ad4c9bede41	port.h
100644 blob 7fca7dc534728e5028a3a476c743441e2c8b49d4	process.h
100644 blob fa3814fdabf8eb6bfbad47a4f38f0c2d638eb348	profile.h
100644 blob 0f3afd175a17d3f761e9ca40696d95a5859d465c	resource.h
100644 blob d1563e35bce8c5547dd1d6399cb2f9c60ac6b1ad	socket.h
100644 blob 1d7080ad7b660a8264e28558f08faeccc992bbdf	stream.h
100644 blob 691094f1c43949f3311e192317c95a32750682fa	suspend_token.h
100644 blob 57f7f3f61044fa2be227c2ba9e12443d9612aabb	task.h
100644 blob bb80bc62f82310984b8e8f038e1391bab9b4387f	thread.h
100644 blob 6e01ba28c3c451a5067d844d32881a619449bef0	time.h
100644 blob c119fc020c9d22f765b3d7836884aee87f0a9e72	timer.h
100644 blob 565d6fd34bd853b61772d2b712abbea1fa19756a	vcpu.h
100644 blob 54a943c1d7719682d637c4771d70ec56a4400ae4	vmar.h
100644 blob ae168a6c9fa4e4053549ee0f47d32f0352cbcaed	vmo.h