gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 7def4e621b7c65b4a3740a554dcbc807e23b1c19 / drivers / serial / serial_xen.c