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,