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@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
