Searched refs:vgic_kick_vcpus (Results 1 – 4 of 4) sorted by relevance
181 void vgic_kick_vcpus(struct kvm *kvm);
71 vgic_kick_vcpus(vcpu->kvm); in vgic_mmio_write_v2_misc()
952 void vgic_kick_vcpus(struct kvm *kvm) in vgic_kick_vcpus() function
115 vgic_kick_vcpus(vcpu->kvm); in vgic_mmio_write_v3_misc()