Posix-timers-RCU-conversion