[PATCH v4 06/19] docstring: avoid sc_prohibit_nonreentrant in a comment