Make sure Pcd service driver can work on 64-bit architecture.

[mirror_edk2.git] / EdkModulePkg / Universal / PCD / Dxe / Service.h

diff --git a/EdkModulePkg/Universal/PCD/Dxe/Service.h b/EdkModulePkg/Universal/PCD/Dxe/Service.h
index 2784d28891c3252706334921542103851bc434cb..59ec06352e6b752ae2a957700dfbd1de43b31d3e 100644 (file)
--- a/EdkModulePkg/Universal/PCD/Dxe/Service.h
+++ b/EdkModulePkg/Universal/PCD/Dxe/Service.h
@@ -119,7 +119,7 @@ BuildPcdDxeDataBase (
 UINTN           \r
 GetExPcdTokenNumber (\r
   IN CONST EFI_GUID             *Guid,\r
-  IN UINTN                      ExTokenNumber\r
+  IN UINT32                     ExTokenNumber\r
   )\r
 ;\r
 //\r