100644 blob eac6d2960ee06ab270608d0132261e618d1c6ff9	debug.h
040000 tree 5b301fc372c2dd2f3c695f882b1636a416e8912e	driver
100644 blob 63a62a279101e1f8dc7a616cc60972299d4ca386	guest_state.h
100644 blob 247eae19134dbd276e080910d38a85d6b14130f2	interrupt.h
100644 blob a979017d526f5f1105920501e25ce94670e3c2b1	io.h
100644 blob 6696b5c4fc1239ab858718e28da4b8f7622f2cf2	libvchan.h
100644 blob 087edfdcba208164d52cff988df588ff98fdd8e2	mmio.h
040000 tree 3991b106c64bdcbc3f8b52a533a2f04e086d98f3	platform
040000 tree fe018c1f76c3f8bcaf1a798ce8b9cb20c294bfa7	processor
100644 blob 160650d55c4c7623b1fe890eeae0d3d7c83ea3be	vchan_component.h
100644 blob bc24d8b4d813c6a5cfd1857f19e2441eee2bead1	vchan_copy.h
100644 blob b658273ea32303de9a887f72c99c86d943eb02da	vchan_sharemem.h
100644 blob 116b52660c6de61d7b5c6c7d2d09bfc05990534c	vmcall.h
100644 blob d6930a8dc534cd605cd7b081c512e2ab6876928d	vmcs.h
100644 blob cc4a3cee4e8fdc616a92284f33d05bcbfd01f5e9	vmexit.h
100644 blob 37ec05912af7b58da3c9af4312df7f54b00b32b4	vmm.h
100644 blob 7fc832810ac8bef36e585a85b0a0d1caf42f65d2	vmm_manager.h