100644 blob e9a407b3629e0a41e5e61b3380cee8dcebcf8ca4	debug.h
040000 tree 1249d691d4f72db84ba1031d4905fc454a87e775	driver
100644 blob 2bab43e070752831b9d006f163acdc4476b0ab9d	guest_state.h
100644 blob 7becc6f70e2f7d76c5748ce84a9092b05b121d5b	interrupt.h
100644 blob 1bde58fc98c1a37d1cc45cd7d0018d9eac2d7103	io.h
100644 blob 0d44c7ddb5981fcdd49eb03aafa63eac7d6b2736	libvchan.h
100644 blob 6603b2338c14f50deb850ece9e417c3982bae923	mmio.h
040000 tree 9efdef6082e59dca518ea89aeb5c082905a14d34	platform
040000 tree 5194179d85154542254e240fde85c5f2af60954b	processor
100644 blob a2898e483e3d117344901aadd8075a9f5c843447	vchan_component.h
100644 blob f0a6389f244bf17471c793c2b2ad2f3061e6c038	vchan_copy.h
100644 blob 33e951ed5ff92f2371c7f9c1267b3ce34709ecb7	vchan_sharemem.h
100644 blob 0d2e4daade4dceeb3240112512b3b99a8c49d5c3	vmcall.h
100644 blob 37ad12115531b19df1faa17fac6d17d21de1c19a	vmcs.h
100644 blob 6d18b8a6259df48590c92b80f0e6a98716203450	vmexit.h
100644 blob aada08131ab7efd97fb41f9c5305756c7b1eeefc	vmm.h
100644 blob c5bbf2326d8355ff73f1e40de930027d602f2eae	vmm_manager.h