__vgic_mmio_read_active 367 virt/kvm/arm/vgic/vgic-mmio.c val = __vgic_mmio_read_active(vcpu, addr, len); __vgic_mmio_read_active 378 virt/kvm/arm/vgic/vgic-mmio.c return __vgic_mmio_read_active(vcpu, addr, len);