summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/user/rpki.rst12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/user/rpki.rst b/doc/user/rpki.rst
index dfac10b4f2..f8ec98c964 100644
--- a/doc/user/rpki.rst
+++ b/doc/user/rpki.rst
@@ -200,6 +200,18 @@ Debugging
Displaying RPKI
---------------
+.. index:: show rpki prefix <A.B.C.D/M|X:X::X:X/M> [(1-4294967295)]
+.. clicmd:: show rpki prefix <A.B.C.D/M|X:X::X:X/M> [(1-4294967295)]
+
+ Display validated prefixes received from the cache servers filtered
+ by the specified prefix.
+
+.. index:: show rpki as-number ASN
+.. clicmd:: show rpki as-number ASN
+
+ Display validated prefixes received from the cache servers filtered
+ by ASN.
+
.. index:: show rpki prefix-table
.. clicmd:: show rpki prefix-table