100644 blob 7fd4e31a1818881d1a419c282b508dcb98edb210	boot.h
100644 blob 407eca39cc73bccf18c619af0d63adf773687ca0	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 ca0a2810ed6b6f3b6feb243a539dd477b8d20fa6	guest_vm.h
100644 blob 17cf468276f31eab0542bcc14af79c61101a511e	guest_vm_exits.h
100644 blob f93effa9dbae72e0feb944401b3000316bbe5c0d	guest_vm_util.h