Re: Architecture specific implementations for tickless kernel