EDT_NOPROV
{ EDT_NOPROV, "Unknown provider name" },
(void) dt_set_errno(dtp, EDT_NOPROV);
(void) dt_set_errno(dtp, errno == ESRCH ? EDT_NOPROV : errno);