Searched refs:vgic_kick_vcpus (Results 1 – 3 of 3) sorted by relevance
63 vgic_kick_vcpus(vcpu->kvm); in vgic_mmio_write_v2_misc()
1262 void vgic_kick_vcpus(struct kvm *kvm) in vgic_kick_vcpus() function
157 vgic_kick_vcpus(vcpu->kvm); in vgic_mmio_write_v3_misc()