target_vcpu_id    210 virt/kvm/arm/vgic/vgic-mmio-v3.c 	int target_vcpu_id = vcpu->vcpu_id;
target_vcpu_id    216 virt/kvm/arm/vgic/vgic-mmio-v3.c 	value |= ((target_vcpu_id & 0xffff) << 8);