/* Allocate a POSIX realtime timer. */