1 files changed, 11 insertions, 0 deletions
diff --git a/doc/langref.tex b/doc/langref.tex
index 523deb1b..3afe6128 100644
--- a/doc/langref.tex
+++ b/doc/langref.tex
@@ -1816,6 +1816,17 @@ probe kernel.function (
 %( arch == "ia64" %?
     probe syscall.vliw = kernel.function("vliw_widget") {}
 %)
+
+\end{verbatim}
+\end{vindent}
+
+The following code adapts to the presence of a kernel CONFIG option.
+
+\begin{vindent}
+\begin{verbatim}
+%( CONFIG_UTRACE == "y" %?
+    probe process.syscall {}
+%)
 \end{verbatim}
 \end{vindent}