Add missing definition for Time service which defined in UEFI specification 7.3 Time...

[mirror_edk2.git] / MdePkg / Library / SecPeiDxeTimerLibCpu / IpfTimerLib.c

diff --git a/MdePkg/Library/SecPeiDxeTimerLibCpu/IpfTimerLib.c b/MdePkg/Library/SecPeiDxeTimerLibCpu/IpfTimerLib.c
index 2e511704d88ca0f794b63c821f2a34af5957c0f2..2acdab3d2a17867bd4a0917f3e523116cec7a8e3 100644 (file)
--- a/MdePkg/Library/SecPeiDxeTimerLibCpu/IpfTimerLib.c
+++ b/MdePkg/Library/SecPeiDxeTimerLibCpu/IpfTimerLib.c
@@ -17,6 +17,11 @@
 \r
 \r
 \r
+//\r
+// Include common header file for this module.\r
+//\r
+#include "CommonHeader.h"\r
+\r
 /**\r
   Performs a delay measured as number of ticks.\r
 \r