100644 blob c13daf3b1dd49c9410146b946e906b4a26c0c636	acpi.h
100644 blob 7594eef7a761164ac14454a24aa98e5ea18f1ba6	boot.h
100644 blob 14597ced8ed5abe1591b1ac95d2ce796eee298f1	boot_guest.h
100644 blob 9f657b3f9b62d5bf5e5ad8e42b9fc4ceb5130cd6	bootinfo.h
100644 blob 2288b5ae200a1b580fe750a0a50f33b9895cfeec	e820.h
100644 blob a70b7a765ab815244d248a903b50a30c0a147804	elf_helper.h
100644 blob e8813b5322d3b3fa78ec88f3bfaf68fb015b90bc	guest_memory.h
100644 blob e2649486cf1f1565ec60c68bfe7fb9bce55ff118	guest_vspace.h
100644 blob 3bc928f8b8890c3453c2f000e97a18c61d58d002	ioports.h
100644 blob 802496ac3991922939ae08a374e7ab449833a0ac	vmcs.h
100644 blob 9361cb1b4bca68f0134c1f09a4c0f05edcaa9650	vmexit.h