#include <Library/UefiLib.h>\r
#include <Library/BaseMemoryLib.h>\r
#include <Library/MemoryAllocationLib.h>\r
+#include <Library/TimerLib.h>\r
\r
#include "Udp4Driver.h"\r
\r
\r
#define ICMP_ERROR_PACKET_LENGTH 8\r
\r
-#define UDP4_TIMEOUT_INTERVAL (50 * TICKS_PER_MS) // 50 milliseconds\r
+#define UDP4_TIMEOUT_INTERVAL (10 * TICKS_PER_MS) // 10 milliseconds\r
\r
#define UDP4_HEADER_SIZE sizeof (EFI_UDP4_HEADER)\r
#define UDP4_MAX_DATA_SIZE 65507\r