add davename to DPRINTF.

Suggested by mpi@.