char *ctl_ip_sprint_addr(char *dst, CTL_NET_IPv4_ADDR_t addr);
ctl_ip_sprint_addr converts the address addr to dotted decimal notation and writes the result to the object pointed to by dst. dst must be 16 characters or more for three dotted decimal octets plus a terminating zero.
ctl_ip_sprint_addr returns dst.