100644 blob ea2169f7bcc001d20d9b3f8138057dce50234849	crashlog.h
100644 blob 19d7b2cd0f2e6e5c354b4051cb30adfbc002ce53	debug.h
100644 blob 283767857285a222da2c709316c918308788daef	efi.h
100644 blob 8415e8b370056653cd51eac8abea4934c9fbce1b	efi_bootbyte.h
100644 blob f574e2745c823b29b62ef7f6156026847b53e983	efi_crashlog.h
100644 blob 28ba7932b40cef2571c9b8d37d41ac1775bf5673	halt_helper.h
100644 blob beacd46673756b4198d10d16c510056d62b532af	halt_token.h
100644 blob 5152fb75df659c66ad2f5f9f881793a843010ae6	mapped_crashlog.h
100644 blob 15fdae541da9ed286cf623b0a74d0c3639f4260f	timer.h