Sergei Shtylyov writes: > BTW, why not handle the decrementer difference right in set_dec() where we > already have #ifdef'ed code? Excellent idea. Let's do that. Paul. - To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html