100644 blob a175ab3441f7a2c95269a7083c2b373a9718a9ef	ac_device.h
100644 blob a941bc18f8a854bce5dc5beb724bdd8a1b56870f	generic_forward_device.h
100644 blob 18644cc7868c8a536b39cfc869bb7f4cc33d8b85	guest_boot_init.h
100644 blob 7c401b780c2ba49d712761d363afd6ae8897fa34	guest_image_arch.h
100644 blob 2b0a4f286e17e53c44d155b1392d91ac21252eb0	guest_reboot.h
100644 blob ee901083615227851472b96b8061dd58166cd3de	guest_vcpu_fault.h
100644 blob 630c9608ad2c6d1f8f85afc98f84148a5cc596af	guest_vcpu_util.h
100644 blob 12fa132a386771d356cb0eec2e03f72660087a00	irq_defs.h
100644 blob 73c3dddc748046d24ffe096d8b04605f69831b8f	service.h
100644 blob fd7649981f49f7e94e68ff5b4f154e179716b766	vpci.h
100644 blob ed3c261ace5c28e3d066971d6ab3333eb35e8785	vusb.h