userspace_irqchip  116 virt/kvm/arm/arch_timer.c 	if (userspace_irqchip(vcpu->kvm) &&
userspace_irqchip  303 virt/kvm/arm/arch_timer.c 	if (!userspace_irqchip(vcpu->kvm)) {