Symbol: userspace_irqchip
arch/arm64/kvm/arch_timer.c
224
if (userspace_irqchip(vcpu->kvm) &&
arch/arm64/kvm/arch_timer.c
447
if (userspace_irqchip(vcpu->kvm))