Add method to get all registered SCRs from ScrFile

proteus-core · Aug 11, 2021 · c39f129 · c39f129
1 parent 9f78215
commit c39f129
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/src/main/scala/riscv/plugins/cheri/ScrFile.scala b/src/main/scala/riscv/plugins/cheri/ScrFile.scala
@@ -134,6 +134,8 @@ class ScrFile(scrStage: Stage)(implicit context: Context) extends Plugin[Pipelin
     }
   }
 
+  override def getRegisteredScrs: Seq[Int] = scrs.keys.toSeq
+
   override def getIo(stage: Stage): ScrIo = {
     scrStageIos.getOrElseUpdate(stage, {
       val area = stage plug new Area {

diff --git a/src/main/scala/riscv/plugins/cheri/Services.scala b/src/main/scala/riscv/plugins/cheri/Services.scala
@@ -55,6 +55,7 @@ trait ScrService {
     */
   def registerScr[T <: Scr](id: Int, offsetCsr: Int, scr: => T): T
   def getScr(stage: Stage, id: Int): Scr
+  def getRegisteredScrs: Seq[Int]
 }
 
 trait ExceptionService {