On 16/08/2023 10:40, Bertrand Marquis wrote:
Hi Jens,
Hi,
On 31 Jul 2023, at 14:15, Jens Wiklander <[email protected]> wrote: /* This function is supposed to undo what ffa_domain_init() has done */ static int ffa_domain_teardown(struct domain *d) { struct ffa_ctx *ctx = d->arch.tee; + unsigned int n; + int32_t res; if ( !ctx ) return 0; +NIT: this extra line should be removed. @Julien: are you ok to fix that one on commit ?
Yes I can do it. CHeers, -- Julien Grall
