TIOCDCDTIMESTAMP
case TIOCDCDTIMESTAMP: /* XXX old, overloaded API used by xntpd v3 */
case TIOCDCDTIMESTAMP: /* XXX old, overloaded API used by xntpd v3 */
case TIOCDCDTIMESTAMP: /* XXX old, overloaded API used by xntpd v3 */
case TIOCDCDTIMESTAMP: /* XXX old, overloaded API used by xntpd v3 */
case TIOCDCDTIMESTAMP: /* XXX old, overloaded API used by xntpd v3 */
case TIOCDCDTIMESTAMP: /* XXX old, overloaded API used by xntpd v3 */