void ctl_dns_print_cache(CTL_STREAM_t s);
ctl_dns_print_cache prints the contents of the DNS cache to the stream s.
ctl_dns_print_cache is thread-safe if writing to stream s is thread-safe.