gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 13578c1ced399d0f02695fa286b00202a958dacf / net / ping6.c