Re: [PATCH 07/13] module: mark module_mutex static