[PATCH] Clarify sbi_debug_read_triggers return values

[Jesse Taube]

Clarify that `sbi_debug_read_triggers` must read the configuration
from CSRs.

Closes: #213
Signed-off-by: Jesse Taube <jesse at rivosinc.com>
---
 src/ext-debug-triggers.adoc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/ext-debug-triggers.adoc b/src/ext-debug-triggers.adoc
index 2a5bcf9..3fd9093 100644
--- a/src/ext-debug-triggers.adoc
+++ b/src/ext-debug-triggers.adoc
@@ -133,8 +133,9 @@ struct sbiret sbi_debug_read_triggers(unsigned long trig_idx_base,
                                       unsigned long trig_count)
 ----
 
-Read the debug trigger state and configuration into shared memory for a range of debug
-triggers specified by the `trig_idx_base` and `trig_count` parameters on the calling hart.
+Read the saved debug trigger software state and read the current configuration
+from their respective CSRs into shared memory for a range of debug triggers
+specified by the `trig_idx_base` and `trig_count` parameters on the calling hart.
 
 For each debug trigger with index `trig_idx_base + i` where `-1 < i < trig_count`, the
 debug trigger state and configuration consisting of four XLEN-bit words are written in
-- 
2.43.0