From e3e316677bf0eb50c9247717170f2c927f814fba Mon Sep 17 00:00:00 2001
From: Mingkai Li <mingkai@ustc.edu>
Date: Fri, 1 Sep 2023 04:47:58 +0000
Subject: [PATCH]  modify format of debug insn doc for github display

---
 docs/spike-debug.adoc | 116 ++++++------------------------------------
 1 file changed, 15 insertions(+), 101 deletions(-)

diff --git a/docs/spike-debug.adoc b/docs/spike-debug.adoc
index 7b743b5f..6a89a9c1 100644
--- a/docs/spike-debug.adoc
+++ b/docs/spike-debug.adoc
@@ -58,129 +58,43 @@ S:: Secure world
 
 === Revocation Tree
 
-.*RCUPDATE*
-[%collapsible]
-====
-****
+RCUPDATE::
 Update the revocation tree node with node id `x[rs1]` by `x[rs2]`.
-****
-====
-
-.*ALLOC*
-[%collapsible]
-====
-****
+ALLOC::
 Allocate a new revocation tree node whose parent node has a node id `x[rs1]`, and write the node id of the new node to `x[rd]`.
-****
-====
-
-.*REV*
-[%collapsible]
-====
-****
+REV::
 Revoke the revocation tree node (and the nodes of its subtree) with node id `x[rs1]`.
-****
-====
 
 === Capability Manipulation
 
-.*CAPCREATE*
-[%collapsible]
-====
-****
+CAPCREATE::
 Make the tag of the register `x[rd]` to refer to a capability.
-****
-====
-
-.*CAPTYPE*
-[%collapsible]
-====
-****
+CAPTYPE::
 Set `x[rd].type` to `x[rs1]`.
-****
-====
-
-.*CAPNODE*
-[%collapsible]
-====
-****
+CAPNODE::
 Set `x[rd].node` to `x[rs1]`.
-****
-====
-
-.*CAPPERM*
-[%collapsible]
-====
-****
+CAPPERM::
 Set `x[rd].perm` to `x[rs1]`.
-****
-====
-
-.*CAPBOUND*
-[%collapsible]
-====
-****
+CAPBOUND::
 . Set `x[rd].base` to `x[rs1]`.
 . If `x[rs2]` is not `zero`, set `x[rd].end` to `x[rs2]`.
-****
-====
-
-.*CAPASYNC*
-[%collapsible]
-====
-****
+CAPASYNC::
 Set `x[rd].async` to `x[rs1]`.
-****
-====
-
-.*CAPREG*
-[%collapsible]
-====
-****
+CAPREG::
 Set `x[rd].reg` to `x[rs1]`.
-****
-====
 
 === Memory
 
-.*TAGSET*
-[%collapsible]
-====
-****
+TAGSET::
 Set the tag of the CLEN-bit aligned memory region containing the memory address `x[rs1]` to refer to a capability if `x[rs2]` is not `zero`, or to refer to an integer register otherwise.
-****
-====
-
-.*TAGGET*
-[%collapsible]
-====
-****
+TAGGET::
 If the tag of the CLEN-bit aligned memory region containing the memory address `x[rs1]` refers to a capability, set `x[rd]` to `1`; otherwise, set `x[rd]` to `0`.
-****
-====
 
 === Others
 
-.*CAPPRINT*
-[%collapsible]
-====
-****
+CAPPRINT::
 Print the content in `x[rs1]` to the console.
-****
-====
-
-.*SETWORLD*
-[%collapsible]
-====
-****
+SETWORLD::
 Set `cwrld` to `0` if `x[rs1]` is `zero`, or to `1` otherwise.
-****
-====
-
-.*SETEH*
-[%collapsible]
-====
-****
+SETEH::
 Set `ceh` to `x[rs1]`.
-****
-====