On Mon, Oct 14, 2013 at 04:32:19PM +0200, Daniel Lezcano wrote:
I noticed your mail and I sent a very similar patch adding the tracepoints for IPI a couple of hour ago.
Ah, cool - Liviu, Chris, I guess it should be OK to switch over to the upstream version once that's merged?