__entry->cpuvendor      = m->cpuvendor;
        ),
 
-       TP_printk("CPU: %d, MCGc/s: %llx/%llx, MC%d: %016Lx, IPID: %016Lx, ADDR/MISC/SYND: %016Lx/%016Lx/%016Lx, RIP: %02x:<%016Lx>, TSC: %llx, PROCESSOR: %u:%x, TIME: %llu, SOCKET: %u, APIC: %x",
+       TP_printk("CPU: %d, MCGc/s: %llx/%llx, MC%d: %016Lx, IPID: %016Lx, ADDR: %016Lx, MISC: %016Lx, SYND: %016Lx, RIP: %02x:<%016Lx>, TSC: %llx, vendor: %u, CPUID: %x, time: %llu, socket: %u, APIC: %x",
                __entry->cpu,
                __entry->mcgcap, __entry->mcgstatus,
                __entry->bank, __entry->status,
                __entry->ipid,
-               __entry->addr, __entry->misc, __entry->synd,
+               __entry->addr,
+               __entry->misc,
+               __entry->synd,
                __entry->cs, __entry->ip,
                __entry->tsc,
-               __entry->cpuvendor, __entry->cpuid,
+               __entry->cpuvendor,
+               __entry->cpuid,
                __entry->walltime,
                __entry->socketid,
                __entry->apicid)