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()