Re: [PATCH 0/3] clockevents: Manage device's state separately for core