Searched refs:vgic_access_active_finish (Results 1 – 1 of 1) sorted by relevance
480 static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid) in vgic_access_active_finish() function523 vgic_access_active_finish(vcpu, intid); in vgic_mmio_read_active()618 vgic_access_active_finish(vcpu, intid); in vgic_mmio_write_cactive()655 vgic_access_active_finish(vcpu, intid); in vgic_mmio_write_sactive()