/* Convert the IPv4 address into a dotted string. */
VOID Ip4Config2IpToStr(IN EFI_IPv4_ADDRESS *Ip, OUT CHAR16 *Str)
/* Convert the IPv4 address into a dotted string. */
VOID Ip4Config2IpToStr(IN EFI_IPv4_ADDRESS *Ip, OUT CHAR16 *Str)
{
  UnicodeSPrint (
    Str,
    2 * IP4_STR_MAX_SIZE,
    L"%d.%d.%d.%d",
    Ip->Addr[0],
    Ip->Addr[1],
    Ip->Addr[2],
    Ip->Addr[3]
    );
}