Re: [Xen-devel] [PATCH v3 04/11] optee: add OP-TEE mediator skeleton

[Julien Grall <julien.grall@xxxxxxx>]

Hi Volodymyr,

On 18/12/2018 21:11, Volodymyr Babchuk wrote:
> +static void optee_domain_destroy(struct domain *d)
> +{
> +    struct arm_smccc_res resp;
> +
> +    /* At this time all domain VCPUs should be stopped */
This function is called unconditionally, i.e this can be called even if the call 
of optee_enable didn't happen. So you need to cater that case.
Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel