[PATCH 1/4] tracepoint: add generic tracepoint definitions for IPI tracing