100644 blob d4e8ffe7b0b1274989c5ceff84fd04b345dc5ad7	boot.h
100644 blob dcc48b6c27f01c66f0c759e069365892b63c8a9f	guest_iospace.h
100644 blob be2df75fa21dddfc192a03da0cc0a6bb9483b0da	guest_irq_controller.h
100644 blob cf5b03ab3f1a71dee7be10493ca9846bb4d9c308	guest_memory.h
100644 blob a4f8c89e8607467c939b1c62cef8f0727a9708f0	guest_memory_helpers.h
100644 blob f6bd419f81b4a8d53a52a835de6d10c7c31372d2	guest_ram.h
100644 blob 5ed737d638c8fb719beab4b27b8a3bed3adbb20c	guest_vcpu_fault.h
100644 blob f0817379bcbaf7102e7eb1f6aa15bb4e3378f691	guest_vm.h
100644 blob 17cf468276f31eab0542bcc14af79c61101a511e	guest_vm_exits.h
100644 blob f93effa9dbae72e0feb944401b3000316bbe5c0d	guest_vm_util.h