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