Searched refs:vgic_change_active_prepare (Results 1 – 1 of 1) sorted by relevance
389 static void vgic_change_active_prepare(struct kvm_vcpu *vcpu, u32 intid) in vgic_change_active_prepare() function425 vgic_change_active_prepare(vcpu, intid); in vgic_mmio_write_cactive()462 vgic_change_active_prepare(vcpu, intid); in vgic_mmio_write_sactive()
