__vgic_mmio_write_sactive  492 virt/kvm/arm/vgic/vgic-mmio.c 	__vgic_mmio_write_sactive(vcpu, addr, len, val);
__vgic_mmio_write_sactive  502 virt/kvm/arm/vgic/vgic-mmio.c 	__vgic_mmio_write_sactive(vcpu, addr, len, val);