100644 blob 4cc3630e613e6e937cae2038a58e6a1412fbc3fc	acpi-defs.h
100644 blob 7b3d93cf0d8f22571e4c3b089af1f0425906935c	acpi.h
100644 blob 71d3c48e7d5b786029157a3c57db21fedb8cb6e8	acpi_dev_interface.h
100644 blob 559326cbd50c676b3a93977d797514144e142eed	aml-build.h
100644 blob fa1e5d1a4e335f990fd6423ccc05c188db6737d6	bios-linker-loader.h
100644 blob 89ce172941b81ef35151522f9c5410520124aaab	cpu.h
100644 blob 3b932abbbbeeba3e5c2dc00b0ae1d99312682925	cpu_hotplug.h
100644 blob a352c94fdee4906970b7cc534935ce0f9a6888fb	ich9.h
100644 blob ab2bb29048b7123ad252e6c520e5136c29ad47dc	ipmi.h
100644 blob db8ebc9cea4a0b368cae5eab4d1e460d1390e699	memory_hotplug.h
100644 blob 31bc9191c3d388ae3f4b93cf834d634c41a2a3c1	pc-hotplug.h
100644 blob 04528b78d9dcad3096197cfc4e8febb2b09cfba4	pcihp.h
100644 blob 26c2370e308cfdbedaacd7dfc224de27125c6dff	piix4.h
100644 blob 52ad767ddda319c0da00aa0ca9f1ea7c99db7e29	tco.h
100644 blob 6d516c6a7ff1cfcad334ab085fed0ec70e55e98f	tpm.h