+#include <PiDxe.h>\r
+#include <WinNtDxe.h>\r
+#include <Protocol/Timer.h>\r
+#include <Protocol/Cpu.h>\r
+#include <Library/DebugLib.h>\r
+#include <Library/UefiDriverEntryPoint.h>\r
+#include <Library/WinNtLib.h>\r
+#include <Library/UefiBootServicesTableLib.h>\r