vgic_mmio_read_v2_misc   78 virt/kvm/arm/vgic/vgic-mmio-v2.c 		if (val != vgic_mmio_read_v2_misc(vcpu, addr, len))
vgic_mmio_read_v2_misc  404 virt/kvm/arm/vgic/vgic-mmio-v2.c 		vgic_mmio_read_v2_misc, vgic_mmio_write_v2_misc,