Searched refs:vgic_initialized (Results 1 – 5 of 5) sorted by relevance
169 BUG_ON(!vgic_initialized(vcpu->kvm)); in kvm_timer_update_irq()194 if (!vgic_initialized(vcpu->kvm)) in kvm_timer_update_state()
1617 if (unlikely(!vgic_initialized(kvm))) { in vgic_lazy_init()1969 if (vgic_initialized(kvm)) in vgic_init()2461 BUG_ON(!vgic_initialized(kvm)); in kvm_set_irq()
794 if (!vgic_initialized(kvm)) { in vgic_v3_map_resources()
218 if (irqchip_in_kernel(kvm) && vgic_initialized(kvm)) { in kvm_arch_vcpu_create()471 if (irqchip_in_kernel(kvm) && vgic_initialized(kvm)) in kvm_vcpu_first_run_init()479 return vgic_initialized(kvm); in kvm_arch_intc_initialized()
351 #define vgic_initialized(k) (!!((k)->arch.vgic.nr_cpus)) macro