Symbol: __vgic_mmio_read_active
arch/arm64/kvm/vgic/vgic-mmio.c
521
val = __vgic_mmio_read_active(vcpu, addr, len);
arch/arm64/kvm/vgic/vgic-mmio.c
532
return __vgic_mmio_read_active(vcpu, addr, len);