100644 blob 72be675dd6d4233c790e471ea08c278708ee2e90	acpi-defs.h
100644 blob 7b3d93cf0d8f22571e4c3b089af1f0425906935c	acpi.h
100644 blob 3c2e4e95a5a2ee988fc0cdd119b7e82b8eef67ca	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 a352c94fdee4906970b7cc534935ce0f9a6888fb	ich9.h
100644 blob ab2bb29048b7123ad252e6c520e5136c29ad47dc	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 6d516c6a7ff1cfcad334ab085fed0ec70e55e98f	tpm.h
100644 blob 38586ecbdfd07bfad5615c5a49e8cf4137ab6a9d	vmgenid.h