100644 blob f3b181716f3b0f02bec9a74e6120dcd5d1d507b5	acpi.h
100644 blob db8f6ce32dfa61256a016612fe552e2ff43866d3	boot.h
100644 blob 456f38eeff1e7e56d7c704e29605ea84f8314cc2	boot_guest.h
100644 blob 4f681e391ea78e12bcc6b74abe3ed25007963e64	bootinfo.h
100644 blob 26a0519247ac02ea5d7865f6d9a7157136267119	e820.h
100644 blob c86dee2d8002a882228a21218725ed74decf26bd	elf_helper.h
100644 blob 65dd44b9975001e336158e6a32ad7190afa66dc2	guest_memory.h
100644 blob b6e2f5a9d295de2e9fe4ec45dec4ba17e9281683	guest_vspace.h
100644 blob 22f861f863e367c43bbba65076dbe9498e5a3ec9	ioports.h
100644 blob 8eea712ec860fb972fa5ce84b3f12e519b7cf30f	vmcs.h
100644 blob 9dcefe7b21fad98480f72b31b7368cd101e2c83f	vmexit.h