On Wed, 18 Nov 2015, Peter Zijlstra wrote: > I suppose we can do the rename as you propose to avoid single letter > typoes, but it does bug me to have two nearly identical bits of infra > with such dissimilar names. I can see your point, but OTOH the existing interface is ugly and copying it does not make it any better. But I'm really not religious about that. Up to you :) Thanks, tglx -- 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
