100644 blob 80c8099a2310b8cc3053cbad62b347d996d7d3f4	acpi-defs.h
100644 blob c20ace0d0b1487f1a4aa2e5fb22bb7faea55481e	acpi.h
100644 blob dabf4c4fc95adab77d9f221f7a2aed7443c1451a	acpi_dev_interface.h
100644 blob 88d0738d766b416572039fdbc782735f14d40f5e	aml-build.h
100644 blob a711dbced85ece815927601ab15faa1db13d9374	bios-linker-loader.h
100644 blob 89ce172941b81ef35151522f9c5410520124aaab	cpu.h
100644 blob 3b932abbbbeeba3e5c2dc00b0ae1d99312682925	cpu_hotplug.h
100644 blob 59aeb0639310fc9c42921f5b0f69212a7d894f94	ich9.h
100644 blob c38483565c6e4e96d2df0521806697cf4ca4ce67	ipmi.h
100644 blob 77c65765d61016a45693a05d7d08666bf943a958	memory_hotplug.h
100644 blob 31bc9191c3d388ae3f4b93cf834d634c41a2a3c1	pc-hotplug.h
100644 blob 8a65f99fc886bdc96a3a2b792f1866ec1dccce98	pcihp.h
100644 blob 26c2370e308cfdbedaacd7dfc224de27125c6dff	piix4.h
100644 blob 52ad767ddda319c0da00aa0ca9f1ea7c99db7e29	tco.h
100644 blob 96fd3a92f7668fec1287188eedabbffd62d5b3cb	tpm.h
100644 blob 38586ecbdfd07bfad5615c5a49e8cf4137ab6a9d	vmgenid.h