gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 09533e5de7069e597fdd2787b641cc1c6256930f / include / tee / optee.h