Re: [PATCH] tee: optee: fix build error caused by recent optee tracepoints feature