UefiCpuPkg/MpInitLib: Optimize get processor number performance.

[mirror_edk2.git] / OvmfPkg / IoMmuDxe / IoMmuDxe.inf

diff --git a/OvmfPkg/IoMmuDxe/IoMmuDxe.inf b/OvmfPkg/IoMmuDxe/IoMmuDxe.inf
index 21dc39b9233a77fc9ee91db0690f678418b38265..547b51352618279a695ef849989c9eca782c21ca 100644 (file)
--- a/OvmfPkg/IoMmuDxe/IoMmuDxe.inf
+++ b/OvmfPkg/IoMmuDxe/IoMmuDxe.inf
@@ -26,6 +26,7 @@
 \r
 [Sources]\r
   AmdSevIoMmu.c\r
+  AmdSevIoMmu.h\r
   IoMmuDxe.c\r
 \r
 [Packages]\r
@@ -35,12 +36,12 @@
 \r
 [LibraryClasses]\r
   BaseLib\r
-  UefiLib\r
-  UefiDriverEntryPoint\r
-  UefiBootServicesTableLib\r
-  DxeServicesTableLib\r
+  BaseMemoryLib\r
   DebugLib\r
   MemEncryptSevLib\r
+  MemoryAllocationLib\r
+  UefiBootServicesTableLib\r
+  UefiDriverEntryPoint\r
 \r
 [Protocols]\r
   gEdkiiIoMmuProtocolGuid                     ## SOMETIME_PRODUCES\r