vgic_mmio_write_v2_misc   94 virt/kvm/arm/vgic/vgic-mmio-v2.c 	vgic_mmio_write_v2_misc(vcpu, addr, len, val);
vgic_mmio_write_v2_misc  404 virt/kvm/arm/vgic/vgic-mmio-v2.c 		vgic_mmio_read_v2_misc, vgic_mmio_write_v2_misc,