100644 blob 287bdafeb582865d37306134b06eff4e797e5a60	acpi.h
100644 blob e4ac52d1e8f31a03097550102505ae78d33e3223	bigint.h
100644 blob cdbc3b0a2c48e355e28811547f20509ce11cd019	bitops.h
100644 blob 72279117dfa919c4e476d0102a1f667e81f196c9	endian.h
100644 blob e7aec6f39a20aae7f9b694758574f6a8d858ce3e	errfile.h
100644 blob cde0b68292d2a54c3aeafc85d542392bba5640f5	io.h
100644 blob d524bd805a32a3d8df8eb451a3d6104608923b38	iomap.h
100644 blob e68550fb8175364d1759b244a0b6459ede354eb1	memmap.h
100644 blob 4541aca3ece4fbf44d977efe55c7e18a5f977703	mp.h
100644 blob 52c8d81ba03d231c3126c326b442ad92137079ce	nap.h
100644 blob dbb1cd51cf326ffaf1686d5a69a13388d5a5e828	ns16550.h
100644 blob b6c01e5c40a3b49612182439e30b8b1534a161f8	pci_io.h
100644 blob 8d8d0b40eb9b472bc958e633b766c0f24aefc143	reboot.h
100644 blob ff7b88d149c00f813b1861881c480a7ad7f45d04	sanboot.h
100644 blob 2be98d88717241c5df4175c86de724fb140c736d	smbios.h
100644 blob 8b2b3070b4206dbd29eaaa693ee95d180cf30620	string.h
100644 blob 52d03242744108ea17bb833de4831c0321b89d2c	tcpip.h
100644 blob a4aa8cc6ef80903f5395bec5fe8eb65f1bad0cce	time.h
100644 blob 313bec2540531f3b28d8624753a559a3fbff622b	xen.h