[PATCH kernel-4.19 19/25] KVM: vgic: Add trace to print the used_lrs, multi_sgi, vcpu_id