Oh, there was another useful bit.
3.12.17-rt25 403991 384216 377786
405466 394011 392850
3.12.17-nopreempt 109049 186133 118766 !?!.. ew, TTWU_QUEUE
350385 318786 367336 !TTWU_QUEUE
326009 356939 378215 !TTWU_QUEUE
IPI == low-pass filter.
-Mike
--
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
