diff --git a/docs/xml/manual-core-adv.xml b/docs/xml/manual-core-adv.xml
index d04a962c1..03d86e1e3 100644
--- a/docs/xml/manual-core-adv.xml
+++ b/docs/xml/manual-core-adv.xml
@@ -152,46 +152,24 @@ tool-specific macros).
- VALGRIND_CREATE_MEMPOOL:
+
+ VALGRIND_CREATE_MEMPOOL,
+ VALGRIND_DESTROY_MEMPOOL,
+ VALGRIND_MEMPOOL_ALLOC,
+ VALGRIND_MEMPOOL_FREE,
+ VALGRIND_MOVE_MEMPOOL,
+ VALGRIND_MEMPOOL_CHANGE,
+ VALGRIND_MEMPOOL_EXISTS:
+
- This is similar to
- VALGRIND_MALLOCLIKE_BLOCK,
- but is tailored towards code that uses memory pools. See the
- comments in valgrind.h for information
- on how to use it.
+ These are similar to
+ VALGRIND_MALLOCLIKE_BLOCK and
+ VALGRIND_FREELIKE_BLOCK
+ but are tailored towards code that uses memory pools. See
+ for a detailed description.
-
- VALGRIND_DESTROY_MEMPOOL:
-
- This should be used in conjunction with
- VALGRIND_CREATE_MEMPOOL.
- Again, see the comments in valgrind.h for
- information on how to use it.
-
-
-
-
- VALGRIND_MEMPOOL_ALLOC:
-
- This should be used in conjunction with
- VALGRIND_CREATE_MEMPOOL.
- Again, see the comments in valgrind.h for
- information on how to use it.
-
-
-
-
- VALGRIND_MEMPOOL_FREE:
-
- This should be used in conjunction with
- VALGRIND_CREATE_MEMPOOL.
- Again, see the comments in valgrind.h for
- information on how to use it.
-
-
-
VALGRIND_NON_SIMD_CALL[0123]: