rfs4_dbe_get_timerele
((gethrestime_sec() - rfs4_dbe_get_timerele(sp->rs_dbe))
extern time_t rfs4_dbe_get_timerele(rfs4_dbe_t *);