On Tue, 2024-08-20 at 18:53 -0700, Haitao Huang wrote:
+/**
+ * Only called during init to unwind what's done in sgx_cgroup_init()
+ */
+void __init sgx_cgroup_deinit(void)
+{
+ destroy_workqueue(sgx_cg_wq);
+}
+
Ditto:
arch/x86/kernel/cpu/sgx/epc_cgroup.c:412: warning: This comment starts with
'/**', but isn't a kernel-doc comment. Refer Documentation/doc-guide/kernel-
doc.rst
* Only called during init to unwind what's done in sgx_cgroup_init()