Remove useless callbacks.

Signed-off-by: Ariel Xiong <[email protected]>

Author: Arielfoever

model/sys/vmem.sail

@@ -87,7 +87,6 @@ function pt_walk(
   global,
   ext_ptw,
 ) = {
-  //do start callback
   ptw_start_callback(zero_extend(vpn), to_str(ac), to_str(priv));
 
   // Extract the PPN component for this level; 10 bits on Sv32, otherwise 9.
@@ -110,7 +109,6 @@ function pt_walk(
   match read_pte(pte_addr, 2 ^ log_pte_size_bytes) {
     Err(_)  => Err(PTW_Access(), ext_ptw),
     Ok(pte) => {
-      // do step callback
       ptw_step_callback(level, bits_of(pte_addr), zero_extend(pte));
 
       let pte_flags = Mk_PTE_Flags(pte[7 .. 0]);
@@ -162,7 +160,6 @@ function pt_walk(
               } else {
                 ppn
               };
-              // Add success callback
               ptw_success_callback(zero_extend(ppn), level);
 
               Ok(struct {ppn=ppn, pte=pte, pteAddr=pte_addr, level=level, global=global}, ext_ptw)