Implement timerfd on top of #alarm (XCC)