On Tue, Sep 06, 2016 at 04:25:53PM +0200, Lluís Vilanova wrote:
> +## vCPU
> +
> +# Create a new virtual (guest) CPU
> +#
> +# Targets: all
> +guest_cpu_init(void *cpu) "cpu=%p"

This isn't a vcpu trace event.  Please add keep it with the other
non-vcpu trace events:

# cpus.c
guest_cpu_init(void *cpu) "cpu=%p"