tdb_sema_stats
extern tdb_sema_stats_t *tdb_sema_stats(sema_t *);
(REGISTER_SYNC(udp)? tdb_sema_stats(sp): NULL)
