walk_cp15        1375 arch/arm/kvm/coproc.c 		+ walk_cp15(vcpu, (u64 __user *)NULL);
walk_cp15        1390 arch/arm/kvm/coproc.c 	err = walk_cp15(vcpu, uindices);