Re: [PATCH 2/2] ARM: s3c64xx: cpuidle - use timekeeping wrapper