Symbol: __vgic_mmio_write_cactive
arch/arm64/kvm/vgic/vgic-mmio.c
616
__vgic_mmio_write_cactive(vcpu, addr, len, val);
arch/arm64/kvm/vgic/vgic-mmio.c
626
__vgic_mmio_write_cactive(vcpu, addr, len, val);