Philippe Gerum authored Mar 27, 2021 and Jan Kiszka committed Apr 07, 2021

We don't need this with Dovetail, there is no timestamp arithmetics to
perform in userland whatsoever: we get timestamps from the regular
vDSO-based clock_gettime() call.

Signed-off-by: Philippe Gerum <rpm@xenomai.org>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>