[PATCH] smp: Don't use typedef to work around compiler issue with tracepoints