gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 12d152620d9de9ea966e1136b7f48f641c981bac / drivers / serial / serial_xen.c