On Wed, Jan 29, 2014 at 03:14:40PM -0500, Nicolas Pitre wrote: > Looking into some cpuidle drivers for x86 I found at least one that > doesn't respect this convention. Damn. Which one? We should probably fix it :-)