-/*++\r
+/**@file\r
\r
-Copyright (c) 2006, Intel Corporation \r
-All rights reserved. This program and the accompanying materials \r
+Copyright (c) 2006, Intel Corporation. All rights reserved.<BR>\r
+This program and the accompanying materials \r
are licensed and made available under the terms and conditions of the BSD License \r
which accompanies this distribution. The full text of the license may be found at \r
http://opensource.org/licenses/bsd-license.php \r
This Timer module uses an NT Thread to simulate the timer-tick driven\r
timer service.\r
\r
---*/\r
+**/\r
\r
#ifndef _TIMER_H_\r
#define _TIMER_H_\r
\r
\r
-#include <PiDxe.h>\r
+#include <Uefi.h>\r
#include <WinNtDxe.h>\r
#include <Protocol/Timer.h>\r
#include <Protocol/Cpu.h>\r