100644 blob 9065e61ace31f68668105f744089f8d4f6a6288a	abft.h
100644 blob c32429b97443ad326a1883adbf1c56e51ed8ccbe	bios_nap.h
100644 blob 83726b119cc536fb83a1a547982ada72d09263ef	bios_smbios.h
100644 blob ed9df5225a1e717a11ffa1226218a1ad2079a5a5	bios_timer.h
100644 blob c41e2e4016c860be2100ae0e601243e9db7c046e	ibft.h
100644 blob eaf7025b74a470678b6a3add9f95c77655e11176	memtop_umalloc.h
100644 blob 67ba22f004432ccb108d050d5fed9de0ae8ca7d9	rdtsc_timer.h
100644 blob 30038436d2c1d6ad7bcca4cebfd67c30c61b502f	sbft.h
100644 blob 8f1195156f8b23e8f90cc812ced5574f9a75fa5f	timer2.h
100644 blob beb5b22a6e8bfa3250894dfff1ab3aabbb5b2473	x86_io.h