On Wed, 2 Nov 2022 18:29:41 +0000 Valentin Schneider <vschneid@xxxxxxxxxx> wrote: > This is incomplete, just looking at arm64 there's more IPI types that aren't > covered: > > IPI_CPU_STOP, > IPI_CPU_CRASH_STOP, > IPI_TIMER, > IPI_WAKEUP, > > ... But it feels like a good starting point. For the tracing portions: Reviewed-by: Steven Rostedt (Google) <rostedt@xxxxxxxxxxx> -- Steve