return EFI_SUCCESS;\r
}\r
\r
-//@MT: EFI_DRIVER_ENTRY_POINT (Udp4DriverEntryPoint)\r
\r
EFI_STATUS\r
EFIAPI\r
//\r
// Initialize the UDP random port.\r
//\r
- mUdp4RandomPort = ((UINT16) NetRandomInitSeed ()) % UDP4_PORT_KNOWN + UDP4_PORT_KNOWN;\r
+ mUdp4RandomPort = (UINT16) (((UINT16) NetRandomInitSeed ()) % UDP4_PORT_KNOWN + UDP4_PORT_KNOWN);\r
}\r
\r
return Status;\r