Change DUET DxeIpl to use SerialPort instead of manipulating serial port directly.

[mirror_edk2.git] / DuetPkg / EfiLdr / Debug.h

diff --git a/DuetPkg/EfiLdr/Debug.h b/DuetPkg/EfiLdr/Debug.h
index cd1d5d951c2b1b100a8f25bb3b3928ba8839e265..f6aa7a2cf73bd99edacb46ce1d55b8f66167ef00 100644 (file)
--- a/DuetPkg/EfiLdr/Debug.h
+++ b/DuetPkg/EfiLdr/Debug.h
@@ -26,19 +26,10 @@ PrintHeader (
   CHAR8 Char\r
   );\r
 \r
-VOID \r
-PrintValue (\r
-  UINT32 Value\r
-  );\r
-\r
 VOID\r
-PrintValue64 (\r
-  UINT64 Value\r
-  );\r
-\r
-VOID \r
 PrintString (\r
-  CHAR8 *String\r
+  IN CONST CHAR8  *FormatString,\r
+  ...\r
   );\r
 \r
 VOID \r