mempool: Document destroy after fork for populate none

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Change-Id: I826990c9ee58dbda80f3271e361328b474edbf08

diff --git a/include/rseq/mempool.h b/include/rseq/mempool.h
index f439e07fe182cc6403b3e18876ddf5c20aa18308..2773e64ca5bfe4dab211911d2684aa86ff167200 100644 (file)
--- a/include/rseq/mempool.h
+++ b/include/rseq/mempool.h
@@ -545,7 +545,9 @@ enum rseq_mempool_populate_policy {
         *   populate per-cpu pages from the initial values pages on
         *   first write. This mempool is only meant for single-process
         *   use (private mapping). Note that this type of pool cannot
-        *   be accessed from children processes across fork.
+        *   be accessed from children processes across fork. It is
+        *   however valid to destroy a pool from a child process after
+        *   a fork to free its remaining resources.
         */
        RSEQ_MEMPOOL_POPULATE_PRIVATE_NONE = 0,
        /*