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