#include <Library/UefiLib.h>\r
\r
#include <Protocol/EfiSocket.h>\r
+#include <Protocol/Ip4Config.h>\r
+#include <Protocol/Ip6Config.h>\r
#include <Protocol/ServiceBinding.h>\r
#include <Protocol/Tcp4.h>\r
#include <Protocol/Tcp6.h>\r
**/\r
#define RAISE_TPL(PreviousTpl, tpl) \\r
VERIFY_TPL ( tpl ); \\r
- PreviousTpl = gBS->RaiseTPL ( tpl ); \\r
- DEBUG (( DEBUG_TPL | DEBUG_TPL, \\r
- "%d: TPL\r\n", \\r
- tpl ))\r
+ PreviousTpl = gBS->RaiseTPL ( tpl );\r
\r
/**\r
Restore the TPL to the previous value\r
**/\r
#define RESTORE_TPL(tpl) \\r
- DEBUG (( DEBUG_TPL | DEBUG_TPL, \\r
- "%d: TPL\r\n", \\r
- tpl )); \\r
gBS->RestoreTPL ( tpl )\r
\r
//------------------------------------------------------------------------------\r