HomeSort by: relevance | last modified time | path
    Searched refs:JEMALLOC_PRIVATE_NAMESPACE (Results 1 - 4 of 4) sorted by relevancy

  /src/external/bsd/jemalloc.old/include/jemalloc/internal/
jemalloc_internal_defs.h 25 * JEMALLOC_PRIVATE_NAMESPACE is used as a prefix for all library-private APIs.
30 #define JEMALLOC_PRIVATE_NAMESPACE je_
  /src/external/bsd/jemalloc/include/jemalloc/internal/
jemalloc_internal_defs.h 25 * JEMALLOC_PRIVATE_NAMESPACE is used as a prefix for all library-private APIs.
30 #define JEMALLOC_PRIVATE_NAMESPACE je_
  /src/external/bsd/jemalloc/dist/
configure 10453 withval=$with_private_namespace; JEMALLOC_PRIVATE_NAMESPACE="${with_private_namespace}je_"
10455 JEMALLOC_PRIVATE_NAMESPACE="je_"
10461 #define JEMALLOC_PRIVATE_NAMESPACE $JEMALLOC_PRIVATE_NAMESPACE
10464 private_namespace="$JEMALLOC_PRIVATE_NAMESPACE"
15775 { $as_echo "$as_me:${as_lineno-$LINENO}: result: JEMALLOC_PRIVATE_NAMESPACE" >&5
15776 $as_echo "JEMALLOC_PRIVATE_NAMESPACE" >&6; }
15777 { $as_echo "$as_me:${as_lineno-$LINENO}: result: : ${JEMALLOC_PRIVATE_NAMESPACE}" >&5
15778 $as_echo " : ${JEMALLOC_PRIVATE_NAMESPACE}" >&6; }
  /src/external/bsd/jemalloc.old/dist/
configure 8825 withval=$with_private_namespace; JEMALLOC_PRIVATE_NAMESPACE="${with_private_namespace}je_"
8827 JEMALLOC_PRIVATE_NAMESPACE="je_"
8832 #define JEMALLOC_PRIVATE_NAMESPACE $JEMALLOC_PRIVATE_NAMESPACE
8835 private_namespace="$JEMALLOC_PRIVATE_NAMESPACE"
13683 { $as_echo "$as_me:${as_lineno-$LINENO}: result: JEMALLOC_PRIVATE_NAMESPACE" >&5
13684 $as_echo "JEMALLOC_PRIVATE_NAMESPACE" >&6; }
13685 { $as_echo "$as_me:${as_lineno-$LINENO}: result: : ${JEMALLOC_PRIVATE_NAMESPACE}" >&5
13686 $as_echo " : ${JEMALLOC_PRIVATE_NAMESPACE}" >&6; }

Completed in 39 milliseconds