Re: [PATCH] tee: clean up tee_core.h kernel-doc