xref: /XiangShan/src/main/scala/xiangshan/cache/mmu/PageTableWalker.scala (revision eb4bf3f2d9cf44c7894dd6720ce4287077ef829b)
16d5ddbceSLemover/***************************************************************************************
26d5ddbceSLemover* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3f320e0f0SYinan Xu* Copyright (c) 2020-2021 Peng Cheng Laboratory
46d5ddbceSLemover*
56d5ddbceSLemover* XiangShan is licensed under Mulan PSL v2.
66d5ddbceSLemover* You can use this software according to the terms and conditions of the Mulan PSL v2.
76d5ddbceSLemover* You may obtain a copy of Mulan PSL v2 at:
86d5ddbceSLemover*          http://license.coscl.org.cn/MulanPSL2
96d5ddbceSLemover*
106d5ddbceSLemover* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
116d5ddbceSLemover* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
126d5ddbceSLemover* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
136d5ddbceSLemover*
146d5ddbceSLemover* See the Mulan PSL v2 for more details.
156d5ddbceSLemover***************************************************************************************/
166d5ddbceSLemover
176d5ddbceSLemoverpackage xiangshan.cache.mmu
186d5ddbceSLemover
198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters
206d5ddbceSLemoverimport chisel3._
216d5ddbceSLemoverimport chisel3.util._
226d5ddbceSLemoverimport xiangshan._
236d5ddbceSLemoverimport xiangshan.cache.{HasDCacheParameters, MemoryOpConstants}
246d5ddbceSLemoverimport utils._
253c02ee8fSwakafaimport utility._
266d5ddbceSLemoverimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp}
276d5ddbceSLemoverimport freechips.rocketchip.tilelink._
28b6982e83SLemoverimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle}
296d5ddbceSLemover
3092e3bfefSLemover/** Page Table Walk is divided into two parts
3192e3bfefSLemover  * One,   PTW: page walk for pde, except for leaf entries, one by one
3292e3bfefSLemover  * Two, LLPTW: page walk for pte, only the leaf entries(4KB), in parallel
336d5ddbceSLemover  */
3492e3bfefSLemover
3592e3bfefSLemover
3692e3bfefSLemover/** PTW : page table walker
3792e3bfefSLemover  * a finite state machine
3892e3bfefSLemover  * only take 1GB and 2MB page walks
3992e3bfefSLemover  * or in other words, except the last level(leaf)
4092e3bfefSLemover  **/
4192e3bfefSLemoverclass PTWIO()(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst {
426d5ddbceSLemover  val req = Flipped(DecoupledIO(new Bundle {
4345f497a4Shappy-lx    val req_info = new L2TlbInnerBundle()
446d5ddbceSLemover    val l1Hit = Bool()
456d5ddbceSLemover    val ppn = UInt(ppnLen.W)
466d5ddbceSLemover  }))
476d5ddbceSLemover  val resp = DecoupledIO(new Bundle {
48bc063562SLemover    val source = UInt(bSourceWidth.W)
49*eb4bf3f2Speixiaokun    val s2xlate = UInt(2.W)
5063632028SHaoyuan Feng    val resp = new PtwMergeResp
51d0de7e4aSpeixiaokun    val h_resp = new HptwResp
526d5ddbceSLemover  })
536d5ddbceSLemover
5492e3bfefSLemover  val llptw = DecoupledIO(new LLPTWInBundle())
559c503409SLemover  // NOTE: llptw change from "connect to llptw" to "connect to page cache"
569c503409SLemover  // to avoid corner case that caused duplicate entries
57cc5a5f22SLemover
58d0de7e4aSpeixiaokun  val hptw = new Bundle {
59d0de7e4aSpeixiaokun    val req = DecoupledIO(new Bundle {
60*eb4bf3f2Speixiaokun      val source = UInt(bSourceWidth.W)
61d0de7e4aSpeixiaokun      val id = UInt(log2Up(l2tlbParams.llptwsize).W)
6282978df9Speixiaokun      val gvpn = UInt(vpnLen.W)
63d0de7e4aSpeixiaokun    })
64d0de7e4aSpeixiaokun    val resp = Flipped(Valid(new Bundle {
65d0de7e4aSpeixiaokun      val h_resp = Output(new HptwResp)
66d0de7e4aSpeixiaokun    }))
67d0de7e4aSpeixiaokun  }
686d5ddbceSLemover  val mem = new Bundle {
69b848eea5SLemover    val req = DecoupledIO(new L2TlbMemReqBundle())
705854c1edSLemover    val resp = Flipped(ValidIO(UInt(XLEN.W)))
71cc5a5f22SLemover    val mask = Input(Bool())
726d5ddbceSLemover  }
73b6982e83SLemover  val pmp = new Bundle {
74b6982e83SLemover    val req = ValidIO(new PMPReqBundle())
75b6982e83SLemover    val resp = Flipped(new PMPRespBundle())
76b6982e83SLemover  }
776d5ddbceSLemover
786d5ddbceSLemover  val refill = Output(new Bundle {
7945f497a4Shappy-lx    val req_info = new L2TlbInnerBundle()
806d5ddbceSLemover    val level = UInt(log2Up(Level).W)
816d5ddbceSLemover  })
826d5ddbceSLemover}
836d5ddbceSLemover
8492e3bfefSLemoverclass PTW()(implicit p: Parameters) extends XSModule with HasPtwConst with HasPerfEvents {
8592e3bfefSLemover  val io = IO(new PTWIO)
866d5ddbceSLemover  val sfence = io.sfence
876d5ddbceSLemover  val mem = io.mem
88d0de7e4aSpeixiaokun  val req_s2xlate = Reg(UInt(2.W))
8950c7aa78Speixiaokun  val enableS2xlate = io.req.bits.req_info.s2xlate =/= noS2xlate
9050c7aa78Speixiaokun  val onlyS1xlate = io.req.bits.req_info.s2xlate === onlyStage1
9150c7aa78Speixiaokun  val onlyS2xlate = io.req.bits.req_info.s2xlate === onlyStage2
92d0de7e4aSpeixiaokun
93d0de7e4aSpeixiaokun  val satp = Mux(enableS2xlate, io.csr.vsatp, io.csr.satp)
94d0de7e4aSpeixiaokun  val hgatp = io.csr.hgatp
95d0de7e4aSpeixiaokun  val flush = io.sfence.valid || satp.changed
96d0de7e4aSpeixiaokun  val s2xlate = enableS2xlate && !onlyS1xlate
976d5ddbceSLemover  val level = RegInit(0.U(log2Up(Level).W))
98b6982e83SLemover  val af_level = RegInit(0.U(log2Up(Level).W)) // access fault return this level
996d5ddbceSLemover  val ppn = Reg(UInt(ppnLen.W))
10082978df9Speixiaokun  val vpn = Reg(UInt(vpnLen.W)) // vpn or gvpn
1016d5ddbceSLemover  val levelNext = level + 1.U
1026d5ddbceSLemover  val l1Hit = Reg(Bool())
103d0de7e4aSpeixiaokun  val pte = mem.resp.bits.asTypeOf(new PteBundle().cloneType)
1046d5ddbceSLemover
10544b79566SXiaokun-Pei  // s/w register
10644b79566SXiaokun-Pei  val s_pmp_check = RegInit(true.B)
10744b79566SXiaokun-Pei  val s_mem_req = RegInit(true.B)
10844b79566SXiaokun-Pei  val s_llptw_req = RegInit(true.B)
10944b79566SXiaokun-Pei  val w_mem_resp = RegInit(true.B)
110d0de7e4aSpeixiaokun  val s_hptw_req = RegInit(true.B)
111d0de7e4aSpeixiaokun  val w_hptw_resp = RegInit(true.B)
112d0de7e4aSpeixiaokun  val s_last_hptw_req = RegInit(true.B)
113d0de7e4aSpeixiaokun  val w_last_hptw_resp = RegInit(true.B)
11444b79566SXiaokun-Pei  // for updating "level"
11544b79566SXiaokun-Pei  val mem_addr_update = RegInit(false.B)
11644b79566SXiaokun-Pei
11744b79566SXiaokun-Pei  val idle = RegInit(true.B)
1182a906a65SHaoyuan Feng  val finish = WireInit(false.B)
1192a906a65SHaoyuan Feng  val sent_to_pmp = idle === false.B && (s_pmp_check === false.B || mem_addr_update) && !finish
12044b79566SXiaokun-Pei
121d0de7e4aSpeixiaokun  val pageFault = pte.isPf(level)
12244b79566SXiaokun-Pei  val accessFault = RegEnable(io.pmp.resp.ld || io.pmp.resp.mmio, sent_to_pmp)
1236d5ddbceSLemover
124d0de7e4aSpeixiaokun  val hptw_pageFault = RegInit(false.B)
125d0de7e4aSpeixiaokun  val hptw_accessFault = RegInit(false.B)
126d0de7e4aSpeixiaokun  val last_s2xlate = RegInit(false.B)
127d0de7e4aSpeixiaokun
128d0de7e4aSpeixiaokun  val ppn_af = pte.isAf()
129d0de7e4aSpeixiaokun  val find_pte = pte.isLeaf() || ppn_af || pageFault
13044b79566SXiaokun-Pei  val to_find_pte = level === 1.U && find_pte === false.B
131935edac4STang Haojin  val source = RegEnable(io.req.bits.req_info.source, io.req.fire)
1326d5ddbceSLemover
1336d5ddbceSLemover  val l1addr = MakeAddr(satp.ppn, getVpnn(vpn, 2))
134d0de7e4aSpeixiaokun  val l2addr = MakeAddr(Mux(l1Hit, ppn, pte.ppn), getVpnn(vpn, 1))
135b6982e83SLemover  val mem_addr = Mux(af_level === 0.U, l1addr, l2addr)
13644b79566SXiaokun-Pei
137d0de7e4aSpeixiaokun  val hptw_resp = io.hptw.resp.bits.h_resp
13882978df9Speixiaokun  val gpaddr = Mux(onlyS2xlate, Cat(vpn, 0.U(offLen.W)), mem_addr)
139d0de7e4aSpeixiaokun  val hpaddr = Cat(hptw_resp.entry.ppn, 0.U(offLen.W))
140d0de7e4aSpeixiaokun
14144b79566SXiaokun-Pei  io.req.ready := idle
14244b79566SXiaokun-Pei
143d0de7e4aSpeixiaokun  io.resp.valid := idle === false.B && mem_addr_update && !last_s2xlate && ((w_mem_resp && find_pte) || (s_pmp_check && accessFault) || onlyS2xlate)
14444b79566SXiaokun-Pei  io.resp.bits.source := source
145d0de7e4aSpeixiaokun  io.resp.bits.resp.apply(pageFault && !accessFault && !ppn_af, accessFault || ppn_af, Mux(accessFault, af_level,level), pte, vpn, satp.asid, hgatp.asid, vpn(sectortlbwidth - 1, 0), not_super = false)
146d0de7e4aSpeixiaokun  io.resp.bits.h_resp := io.hptw.resp.bits.h_resp
147d0de7e4aSpeixiaokun  io.resp.bits.s2xlate := s2xlate
14844b79566SXiaokun-Pei
14944b79566SXiaokun-Pei  io.llptw.valid := s_llptw_req === false.B && to_find_pte && !accessFault
15044b79566SXiaokun-Pei  io.llptw.bits.req_info.source := source
15144b79566SXiaokun-Pei  io.llptw.bits.req_info.vpn := vpn
15282978df9Speixiaokun  io.llptw.bits.req_info.s2xlate := req_s2xlate
153*eb4bf3f2Speixiaokun  io.llptw.bits.ppn := DontCare
15444b79566SXiaokun-Pei
155b6982e83SLemover  io.pmp.req.valid := DontCare // samecycle, do not use valid
156d0de7e4aSpeixiaokun  io.pmp.req.bits.addr := Mux(s2xlate, hpaddr, mem_addr)
157b6982e83SLemover  io.pmp.req.bits.size := 3.U // TODO: fix it
158b6982e83SLemover  io.pmp.req.bits.cmd := TlbCmd.read
159b6982e83SLemover
16044b79566SXiaokun-Pei  mem.req.valid := s_mem_req === false.B && !mem.mask && !accessFault && s_pmp_check
161d0de7e4aSpeixiaokun  mem.req.bits.addr := Mux(s2xlate, hpaddr, mem_addr)
162bc063562SLemover  mem.req.bits.id := FsmReqID.U(bMemID.W)
1636d5ddbceSLemover
164*eb4bf3f2Speixiaokun  io.refill.req_info.s2xlate := req_s2xlate
16545f497a4Shappy-lx  io.refill.req_info.vpn := vpn
1666d5ddbceSLemover  io.refill.level := level
16745f497a4Shappy-lx  io.refill.req_info.source := source
1686d5ddbceSLemover
169d0de7e4aSpeixiaokun  io.hptw.req.valid := !s_hptw_req || !s_last_hptw_req
170d0de7e4aSpeixiaokun  io.hptw.req.bits.id := FsmReqID.U(bMemID.W)
17182978df9Speixiaokun  io.hptw.req.bits.gvpn := get_pn(gpaddr)
172*eb4bf3f2Speixiaokun  io.hptw.req.bits.source := source
173d0de7e4aSpeixiaokun
174d0de7e4aSpeixiaokun  io.hptw.req.valid := !s_hptw_req || !s_last_hptw_req
175d0de7e4aSpeixiaokun  io.hptw.req.bits.id := FsmReqID.U(bMemID.W)
176d0de7e4aSpeixiaokun  io.hptw.req.bits.gvpn := gvpn
177d0de7e4aSpeixiaokun
178935edac4STang Haojin  when (io.req.fire){
17944b79566SXiaokun-Pei    val req = io.req.bits
18044b79566SXiaokun-Pei    level := Mux(req.l1Hit, 1.U, 0.U)
18144b79566SXiaokun-Pei    af_level := Mux(req.l1Hit, 1.U, 0.U)
18244b79566SXiaokun-Pei    ppn := Mux(req.l1Hit, io.req.bits.ppn, satp.ppn)
18344b79566SXiaokun-Pei    vpn := io.req.bits.req_info.vpn
18444b79566SXiaokun-Pei    l1Hit := req.l1Hit
18544b79566SXiaokun-Pei    accessFault := false.B
18644b79566SXiaokun-Pei    s_pmp_check := false.B
18744b79566SXiaokun-Pei    idle := false.B
188d0de7e4aSpeixiaokun    hptw_pageFault := false.B
18950c7aa78Speixiaokun    req_s2xlate := io.req.bits.req_info.s2xlate
19082978df9Speixiaokun    when(io.req.bits.req_info.s2xlate =/= noS2xlate && io.req.bits.req_info.s2xlate =/= onlyStage1){
191d0de7e4aSpeixiaokun      last_s2xlate := true.B
192d0de7e4aSpeixiaokun      s_hptw_req := false.B
193d0de7e4aSpeixiaokun    }.otherwise {
194d0de7e4aSpeixiaokun      s_pmp_check := false.B
195d0de7e4aSpeixiaokun    }
196d0de7e4aSpeixiaokun  }
197d0de7e4aSpeixiaokun
198d0de7e4aSpeixiaokun  when(io.hptw.req.fire() && s_hptw_req === false.B){
199d0de7e4aSpeixiaokun    s_hptw_req := true.B
200d0de7e4aSpeixiaokun    w_hptw_resp := false.B
201d0de7e4aSpeixiaokun  }
202d0de7e4aSpeixiaokun
203d0de7e4aSpeixiaokun  when(io.hptw.resp.fire() && w_hptw_resp === false.B) {
204d0de7e4aSpeixiaokun    hptw_pageFault := io.hptw.resp.bits.h_resp.gpf
205d0de7e4aSpeixiaokun    hptw_accessFault := io.hptw.resp.bits.h_resp.gaf
206d0de7e4aSpeixiaokun    w_hptw_resp := true.B
207d0de7e4aSpeixiaokun    when(onlyS2xlate){
208d0de7e4aSpeixiaokun      mem_addr_update := true.B
209d0de7e4aSpeixiaokun      last_s2xlate := false.B
210d0de7e4aSpeixiaokun    }.otherwise {
211d0de7e4aSpeixiaokun      s_pmp_check := false.B
212d0de7e4aSpeixiaokun    }
213d0de7e4aSpeixiaokun  }
214d0de7e4aSpeixiaokun
215d0de7e4aSpeixiaokun  when(io.hptw.req.fire() && s_last_hptw_req === false.B) {
216d0de7e4aSpeixiaokun    w_last_hptw_resp := false.B
217d0de7e4aSpeixiaokun    s_last_hptw_req := true.B
218d0de7e4aSpeixiaokun  }
219d0de7e4aSpeixiaokun
220d0de7e4aSpeixiaokun  when(io.hptw.resp.fire() && w_last_hptw_resp === false.B){
221d0de7e4aSpeixiaokun    hptw_pageFault := io.hptw.resp.bits.h_resp.gpf
222d0de7e4aSpeixiaokun    hptw_accessFault := io.hptw.resp.bits.h_resp.gaf
223d0de7e4aSpeixiaokun    w_last_hptw_resp := true.B
224d0de7e4aSpeixiaokun    mem_addr_update := true.B
225d0de7e4aSpeixiaokun    last_s2xlate := false.B
22644b79566SXiaokun-Pei  }
22744b79566SXiaokun-Pei
22844b79566SXiaokun-Pei  when(sent_to_pmp && mem_addr_update === false.B){
22944b79566SXiaokun-Pei    s_mem_req := false.B
23044b79566SXiaokun-Pei    s_pmp_check := true.B
23144b79566SXiaokun-Pei  }
23244b79566SXiaokun-Pei
23344b79566SXiaokun-Pei  when(accessFault && idle === false.B){
23444b79566SXiaokun-Pei    s_pmp_check := true.B
23544b79566SXiaokun-Pei    s_mem_req := true.B
23644b79566SXiaokun-Pei    w_mem_resp := true.B
23744b79566SXiaokun-Pei    s_llptw_req := true.B
238d0de7e4aSpeixiaokun    s_hptw_req := true.B
239d0de7e4aSpeixiaokun    w_hptw_resp := true.B
240d0de7e4aSpeixiaokun    s_last_hptw_req := true.B
241d0de7e4aSpeixiaokun    w_last_hptw_resp := true.B
24244b79566SXiaokun-Pei    mem_addr_update := true.B
243d0de7e4aSpeixiaokun    last_s2xlate := false.B
24444b79566SXiaokun-Pei  }
24544b79566SXiaokun-Pei
246935edac4STang Haojin  when (mem.req.fire){
24744b79566SXiaokun-Pei    s_mem_req := true.B
24844b79566SXiaokun-Pei    w_mem_resp := false.B
24944b79566SXiaokun-Pei  }
25044b79566SXiaokun-Pei
251935edac4STang Haojin  when(mem.resp.fire && w_mem_resp === false.B){
25244b79566SXiaokun-Pei    w_mem_resp := true.B
25344b79566SXiaokun-Pei    af_level := af_level + 1.U
25444b79566SXiaokun-Pei    s_llptw_req := false.B
25544b79566SXiaokun-Pei    mem_addr_update := true.B
25644b79566SXiaokun-Pei  }
25744b79566SXiaokun-Pei
25844b79566SXiaokun-Pei  when(mem_addr_update){
25944b79566SXiaokun-Pei    when(level === 0.U && !(find_pte || accessFault)){
26044b79566SXiaokun-Pei      level := levelNext
261d0de7e4aSpeixiaokun      when(s2xlate){
262d0de7e4aSpeixiaokun        s_hptw_req := false.B
263d0de7e4aSpeixiaokun      }.otherwise{
26444b79566SXiaokun-Pei        s_mem_req := false.B
265d0de7e4aSpeixiaokun      }
26644b79566SXiaokun-Pei      s_llptw_req := true.B
26744b79566SXiaokun-Pei      mem_addr_update := false.B
2682a906a65SHaoyuan Feng    }.elsewhen(io.llptw.valid){
269935edac4STang Haojin      when(io.llptw.fire) {
27044b79566SXiaokun-Pei        idle := true.B
27144b79566SXiaokun-Pei        s_llptw_req := true.B
27244b79566SXiaokun-Pei        mem_addr_update := false.B
273d0de7e4aSpeixiaokun        last_s2xlate := false.B
2742a906a65SHaoyuan Feng      }
2752a906a65SHaoyuan Feng      finish := true.B
276d0de7e4aSpeixiaokun    }.elsewhen(s2xlate && last_s2xlate === true.B) {
277d0de7e4aSpeixiaokun      s_last_hptw_req := false.B
278d0de7e4aSpeixiaokun      mem_addr_update := false.B
2792a906a65SHaoyuan Feng    }.elsewhen(io.resp.valid){
280935edac4STang Haojin      when(io.resp.fire) {
28144b79566SXiaokun-Pei        idle := true.B
28244b79566SXiaokun-Pei        s_llptw_req := true.B
28344b79566SXiaokun-Pei        mem_addr_update := false.B
28444b79566SXiaokun-Pei        accessFault := false.B
28544b79566SXiaokun-Pei      }
2862a906a65SHaoyuan Feng      finish := true.B
2872a906a65SHaoyuan Feng    }
28844b79566SXiaokun-Pei  }
28944b79566SXiaokun-Pei
29044b79566SXiaokun-Pei
29144b79566SXiaokun-Pei  when (sfence.valid) {
29244b79566SXiaokun-Pei    idle := true.B
29344b79566SXiaokun-Pei    s_pmp_check := true.B
29444b79566SXiaokun-Pei    s_mem_req := true.B
29544b79566SXiaokun-Pei    s_llptw_req := true.B
29644b79566SXiaokun-Pei    w_mem_resp := true.B
29744b79566SXiaokun-Pei    accessFault := false.B
298d826bce1SHaoyuan Feng    mem_addr_update := false.B
299d0de7e4aSpeixiaokun    s_hptw_req := true.B
300d0de7e4aSpeixiaokun    w_hptw_resp := true.B
301d0de7e4aSpeixiaokun    s_last_hptw_req := true.B
302d0de7e4aSpeixiaokun    w_last_hptw_resp := true.B
30344b79566SXiaokun-Pei  }
30444b79566SXiaokun-Pei
30544b79566SXiaokun-Pei
30644b79566SXiaokun-Pei  XSDebug(p"[ptw] level:${level} notFound:${pageFault}\n")
3076d5ddbceSLemover
3086d5ddbceSLemover  // perf
309935edac4STang Haojin  XSPerfAccumulate("fsm_count", io.req.fire)
3106d5ddbceSLemover  for (i <- 0 until PtwWidth) {
311935edac4STang Haojin    XSPerfAccumulate(s"fsm_count_source${i}", io.req.fire && io.req.bits.req_info.source === i.U)
3126d5ddbceSLemover  }
31344b79566SXiaokun-Pei  XSPerfAccumulate("fsm_busy", !idle)
31444b79566SXiaokun-Pei  XSPerfAccumulate("fsm_idle", idle)
3156d5ddbceSLemover  XSPerfAccumulate("resp_blocked", io.resp.valid && !io.resp.ready)
316dd7fe201SHaoyuan Feng  XSPerfAccumulate("ptw_ppn_af", io.resp.fire && ppn_af)
317935edac4STang Haojin  XSPerfAccumulate("mem_count", mem.req.fire)
318935edac4STang Haojin  XSPerfAccumulate("mem_cycle", BoolStopWatch(mem.req.fire, mem.resp.fire, true))
3196d5ddbceSLemover  XSPerfAccumulate("mem_blocked", mem.req.valid && !mem.req.ready)
320cc5a5f22SLemover
32144b79566SXiaokun-Pei  TimeOutAssert(!idle, timeOutThreshold, "page table walker time out")
322cd365d4cSrvcoresjw
323cd365d4cSrvcoresjw  val perfEvents = Seq(
324935edac4STang Haojin    ("fsm_count         ", io.req.fire                                     ),
32544b79566SXiaokun-Pei    ("fsm_busy          ", !idle                                             ),
32644b79566SXiaokun-Pei    ("fsm_idle          ", idle                                              ),
327cd365d4cSrvcoresjw    ("resp_blocked      ", io.resp.valid && !io.resp.ready                   ),
328935edac4STang Haojin    ("mem_count         ", mem.req.fire                                    ),
329935edac4STang Haojin    ("mem_cycle         ", BoolStopWatch(mem.req.fire, mem.resp.fire, true)),
330cd365d4cSrvcoresjw    ("mem_blocked       ", mem.req.valid && !mem.req.ready                   ),
331cd365d4cSrvcoresjw  )
3321ca0e4f3SYinan Xu  generatePerfEvent()
3336d5ddbceSLemover}
33492e3bfefSLemover
33592e3bfefSLemover/*========================= LLPTW ==============================*/
33692e3bfefSLemover
33792e3bfefSLemover/** LLPTW : Last Level Page Table Walker
33892e3bfefSLemover  * the page walker that only takes 4KB(last level) page walk.
33992e3bfefSLemover  **/
34092e3bfefSLemover
34192e3bfefSLemoverclass LLPTWInBundle(implicit p: Parameters) extends XSBundle with HasPtwConst {
34292e3bfefSLemover  val req_info = Output(new L2TlbInnerBundle())
343d61cd5eeSpeixiaokun  val ppn = Output(if(HasHExtension) UInt((vpnLen.max(ppnLen)).W) else UInt(ppnLen.W))
34492e3bfefSLemover}
34592e3bfefSLemover
34692e3bfefSLemoverclass LLPTWIO(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst {
34792e3bfefSLemover  val in = Flipped(DecoupledIO(new LLPTWInBundle()))
34892e3bfefSLemover  val out = DecoupledIO(new Bundle {
34992e3bfefSLemover    val req_info = Output(new L2TlbInnerBundle())
35092e3bfefSLemover    val id = Output(UInt(bMemID.W))
351d0de7e4aSpeixiaokun    val h_resp = Output(new HptwResp)
35292e3bfefSLemover    val af = Output(Bool())
35392e3bfefSLemover  })
35492e3bfefSLemover  val mem = new Bundle {
35592e3bfefSLemover    val req = DecoupledIO(new L2TlbMemReqBundle())
35692e3bfefSLemover    val resp = Flipped(Valid(new Bundle {
35792e3bfefSLemover      val id = Output(UInt(log2Up(l2tlbParams.llptwsize).W))
35892e3bfefSLemover    }))
35992e3bfefSLemover    val enq_ptr = Output(UInt(log2Ceil(l2tlbParams.llptwsize).W))
36092e3bfefSLemover    val buffer_it = Output(Vec(l2tlbParams.llptwsize, Bool()))
36192e3bfefSLemover    val refill = Output(new L2TlbInnerBundle())
36292e3bfefSLemover    val req_mask = Input(Vec(l2tlbParams.llptwsize, Bool()))
36392e3bfefSLemover  }
3647797f035SbugGenerator  val cache = DecoupledIO(new L2TlbInnerBundle())
36592e3bfefSLemover  val pmp = new Bundle {
36692e3bfefSLemover    val req = Valid(new PMPReqBundle())
36792e3bfefSLemover    val resp = Flipped(new PMPRespBundle())
36892e3bfefSLemover  }
369d0de7e4aSpeixiaokun  val hptw = new Bundle {
370d0de7e4aSpeixiaokun    val req = DecoupledIO(new Bundle{
371*eb4bf3f2Speixiaokun      val source = UInt(bSourceWidth.W)
372d0de7e4aSpeixiaokun      val id = UInt(log2Up(l2tlbParams.llptwsize).W)
37382978df9Speixiaokun      val gvpn = UInt(vpnLen.W)
374d0de7e4aSpeixiaokun    })
375d0de7e4aSpeixiaokun    val resp = Flipped(Valid(new Bundle {
376d0de7e4aSpeixiaokun      val id = Output(UInt(log2Up(l2tlbParams.llptwsize).W))
377d0de7e4aSpeixiaokun      val h_resp = Output(new HptwResp)
378d0de7e4aSpeixiaokun    }))
379d0de7e4aSpeixiaokun  }
38092e3bfefSLemover}
38192e3bfefSLemover
38292e3bfefSLemoverclass LLPTWEntry(implicit p: Parameters) extends XSBundle with HasPtwConst {
38392e3bfefSLemover  val req_info = new L2TlbInnerBundle()
384d0de7e4aSpeixiaokun  val s2xlate = Bool()
38592e3bfefSLemover  val ppn = UInt(ppnLen.W)
38692e3bfefSLemover  val wait_id = UInt(log2Up(l2tlbParams.llptwsize).W)
38792e3bfefSLemover  val af = Bool()
388d0de7e4aSpeixiaokun  val gaf = Bool()
389d0de7e4aSpeixiaokun  val gpf = Bool()
39092e3bfefSLemover}
39192e3bfefSLemover
39292e3bfefSLemover
39392e3bfefSLemoverclass LLPTW(implicit p: Parameters) extends XSModule with HasPtwConst with HasPerfEvents {
39492e3bfefSLemover  val io = IO(new LLPTWIO())
39582978df9Speixiaokun  val enableS2xlate = io.in.bits.req_info.s2xlate =/= noS2xlate
396d0de7e4aSpeixiaokun  val satp = Mux(enableS2xlate, io.csr.vsatp, io.csr.satp)
39792e3bfefSLemover
398d0de7e4aSpeixiaokun  val flush = io.sfence.valid || satp.changed
39992e3bfefSLemover  val entries = Reg(Vec(l2tlbParams.llptwsize, new LLPTWEntry()))
400d0de7e4aSpeixiaokun  val state_idle :: state_hptw_req :: state_hptw_resp :: state_addr_check :: state_mem_req :: state_mem_waiting :: state_mem_out :: state_last_hptw_req :: state_last_hptw_resp :: state_cache :: Nil = Enum(10)
40192e3bfefSLemover  val state = RegInit(VecInit(Seq.fill(l2tlbParams.llptwsize)(state_idle)))
4027797f035SbugGenerator
40392e3bfefSLemover  val is_emptys = state.map(_ === state_idle)
40492e3bfefSLemover  val is_mems = state.map(_ === state_mem_req)
40592e3bfefSLemover  val is_waiting = state.map(_ === state_mem_waiting)
40692e3bfefSLemover  val is_having = state.map(_ === state_mem_out)
4077797f035SbugGenerator  val is_cache = state.map(_ === state_cache)
408d0de7e4aSpeixiaokun  val is_hptw_req = state.map(_ === state_hptw_req)
409d0de7e4aSpeixiaokun  val is_last_hptw_req = state.map(_ === state_last_hptw_req)
41092e3bfefSLemover
411935edac4STang Haojin  val full = !ParallelOR(is_emptys).asBool
41292e3bfefSLemover  val enq_ptr = ParallelPriorityEncoder(is_emptys)
41392e3bfefSLemover
4147797f035SbugGenerator  val mem_ptr = ParallelPriorityEncoder(is_having) // TODO: optimize timing, bad: entries -> ptr -> entry
41592e3bfefSLemover  val mem_arb = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize))
41692e3bfefSLemover  for (i <- 0 until l2tlbParams.llptwsize) {
41792e3bfefSLemover    mem_arb.io.in(i).bits := entries(i)
41892e3bfefSLemover    mem_arb.io.in(i).valid := is_mems(i) && !io.mem.req_mask(i)
41992e3bfefSLemover  }
420d0de7e4aSpeixiaokun  val hyper_arb1 = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize))
421d0de7e4aSpeixiaokun  for (i <- 0 until l2tlbParams.llptwsize) {
422d0de7e4aSpeixiaokun    hyper_arb1.io.in(i).bits := entries(i)
423d0de7e4aSpeixiaokun    hyper_arb1.io.in(i).valid := is_hptw_req(i)
424d0de7e4aSpeixiaokun  }
425d0de7e4aSpeixiaokun  val hyper_arb2 = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize))
426d0de7e4aSpeixiaokun  for(i <- 0 until l2tlbParams.llptwsize) {
427d0de7e4aSpeixiaokun    hyper_arb2.io.in(i).bits := entries(i)
428d0de7e4aSpeixiaokun    hyper_arb2.io.in(i).valid := is_last_hptw_req(i)
429d0de7e4aSpeixiaokun  }
43092e3bfefSLemover
431f3034303SHaoyuan Feng  val cache_ptr = ParallelMux(is_cache, (0 until l2tlbParams.llptwsize).map(_.U(log2Up(l2tlbParams.llptwsize).W)))
4327797f035SbugGenerator
43392e3bfefSLemover  // duplicate req
43492e3bfefSLemover  // to_wait: wait for the last to access mem, set to mem_resp
43592e3bfefSLemover  // to_cache: the last is back just right now, set to mem_cache
43692e3bfefSLemover  val dup_vec = state.indices.map(i =>
437cca17e78Speixiaokun    dup(io.in.bits.req_info.vpn, entries(i).req_info.vpn) && io.in.bits.req_info.s2xlate === entries(i).req_info.s2xlate
43892e3bfefSLemover  )
439cca17e78Speixiaokun  val dup_req_fire = mem_arb.io.out.fire && dup(io.in.bits.req_info.vpn, mem_arb.io.out.bits.req_info.vpn) && io.in.bits.req_info.s2xlate === mem_arb.io.out.bits.req_info.s2xlate // dup with the req fire entry
44092e3bfefSLemover  val dup_vec_wait = dup_vec.zip(is_waiting).map{case (d, w) => d && w} // dup with "mem_waiting" entres, sending mem req already
44192e3bfefSLemover  val dup_vec_having = dup_vec.zipWithIndex.map{case (d, i) => d && is_having(i)} // dup with the "mem_out" entry recv the data just now
44292e3bfefSLemover  val wait_id = Mux(dup_req_fire, mem_arb.io.chosen, ParallelMux(dup_vec_wait zip entries.map(_.wait_id)))
443935edac4STang Haojin  val dup_wait_resp = io.mem.resp.fire && VecInit(dup_vec_wait)(io.mem.resp.bits.id) // dup with the entry that data coming next cycle
44492e3bfefSLemover  val to_wait = Cat(dup_vec_wait).orR || dup_req_fire
44592e3bfefSLemover  val to_mem_out = dup_wait_resp
4467797f035SbugGenerator  val to_cache = Cat(dup_vec_having).orR
4477797f035SbugGenerator  XSError(RegNext(dup_req_fire && Cat(dup_vec_wait).orR, init = false.B), "mem req but some entries already waiting, should not happed")
44892e3bfefSLemover
449935edac4STang Haojin  XSError(io.in.fire && ((to_mem_out && to_cache) || (to_wait && to_cache)), "llptw enq, to cache conflict with to mem")
45092e3bfefSLemover  val mem_resp_hit = RegInit(VecInit(Seq.fill(l2tlbParams.llptwsize)(false.B)))
4517797f035SbugGenerator  val enq_state_normal = Mux(to_mem_out, state_mem_out, // same to the blew, but the mem resp now
4527797f035SbugGenerator    Mux(to_wait, state_mem_waiting,
4537797f035SbugGenerator    Mux(to_cache, state_cache, state_addr_check)))
4547797f035SbugGenerator  val enq_state = Mux(from_pre(io.in.bits.req_info.source) && enq_state_normal =/= state_addr_check, state_idle, enq_state_normal)
455935edac4STang Haojin  when (io.in.fire) {
45692e3bfefSLemover    // if prefetch req does not need mem access, just give it up.
45792e3bfefSLemover    // so there will be at most 1 + FilterSize entries that needs re-access page cache
45892e3bfefSLemover    // so 2 + FilterSize is enough to avoid dead-lock
4597797f035SbugGenerator    state(enq_ptr) := enq_state
46092e3bfefSLemover    entries(enq_ptr).req_info := io.in.bits.req_info
46192e3bfefSLemover    entries(enq_ptr).ppn := io.in.bits.ppn
46292e3bfefSLemover    entries(enq_ptr).wait_id := Mux(to_wait, wait_id, enq_ptr)
46392e3bfefSLemover    entries(enq_ptr).af := false.B
464d0de7e4aSpeixiaokun    entries(enq_ptr).gaf := false.B
465d0de7e4aSpeixiaokun    entries(enq_ptr).gpf := false.B
466d0de7e4aSpeixiaokun    entries(enq_ptr).s2xlate := enableS2xlate
46792e3bfefSLemover    mem_resp_hit(enq_ptr) := to_mem_out
46892e3bfefSLemover  }
4697797f035SbugGenerator
4707797f035SbugGenerator  val enq_ptr_reg = RegNext(enq_ptr)
471d0de7e4aSpeixiaokun  val need_addr_check = RegNext(enq_state === state_addr_check && (io.in.fire() || io.hptw.resp.fire()) && !flush)
472d0de7e4aSpeixiaokun
47382978df9Speixiaokun  val gpaddr = MakeGAddr(io.in.bits.ppn, getVpnn(io.in.bits.req_info.vpn, 0))
474d0de7e4aSpeixiaokun  val hpaddr = Cat(io.in.bits.ppn, gpaddr(offLen-1, 0))
475d0de7e4aSpeixiaokun
476d0de7e4aSpeixiaokun  val addr = Mux(enableS2xlate, hpaddr, MakeAddr(io.in.bits.ppn, getVpnn(io.in.bits.req_info.vpn, 0)))
4777797f035SbugGenerator
4787797f035SbugGenerator  io.pmp.req.valid := need_addr_check
479d0de7e4aSpeixiaokun  io.pmp.req.bits.addr := RegEnable(addr, io.in.fire)
4807797f035SbugGenerator  io.pmp.req.bits.cmd := TlbCmd.read
4817797f035SbugGenerator  io.pmp.req.bits.size := 3.U // TODO: fix it
4827797f035SbugGenerator  val pmp_resp_valid = io.pmp.req.valid // same cycle
4837797f035SbugGenerator  when (pmp_resp_valid) {
4847797f035SbugGenerator    // NOTE: when pmp resp but state is not addr check, then the entry is dup with other entry, the state was changed before
4857797f035SbugGenerator    //       when dup with the req-ing entry, set to mem_waiting (above codes), and the ld must be false, so dontcare
4867797f035SbugGenerator    val accessFault = io.pmp.resp.ld || io.pmp.resp.mmio
4877797f035SbugGenerator    entries(enq_ptr_reg).af := accessFault
4887797f035SbugGenerator    state(enq_ptr_reg) := Mux(accessFault, state_mem_out, state_mem_req)
4897797f035SbugGenerator  }
4907797f035SbugGenerator
491935edac4STang Haojin  when (mem_arb.io.out.fire) {
49292e3bfefSLemover    for (i <- state.indices) {
49392e3bfefSLemover      when (state(i) =/= state_idle && dup(entries(i).req_info.vpn, mem_arb.io.out.bits.req_info.vpn)) {
49492e3bfefSLemover        // NOTE: "dup enq set state to mem_wait" -> "sending req set other dup entries to mem_wait"
49592e3bfefSLemover        state(i) := state_mem_waiting
49692e3bfefSLemover        entries(i).wait_id := mem_arb.io.chosen
49792e3bfefSLemover      }
49892e3bfefSLemover    }
49992e3bfefSLemover  }
500935edac4STang Haojin  when (io.mem.resp.fire) {
50192e3bfefSLemover    state.indices.map{i =>
50292e3bfefSLemover      when (state(i) === state_mem_waiting && io.mem.resp.bits.id === entries(i).wait_id) {
503d0de7e4aSpeixiaokun        state(i) := Mux(entries(i).s2xlate, state_last_hptw_req, state_mem_out)
50492e3bfefSLemover        mem_resp_hit(i) := true.B
50592e3bfefSLemover      }
50692e3bfefSLemover    }
50792e3bfefSLemover  }
508d0de7e4aSpeixiaokun
509d0de7e4aSpeixiaokun  when (hyper_arb1.io.out.fire()) {
510d0de7e4aSpeixiaokun    for (i <- state.indices) {
511d0de7e4aSpeixiaokun      when (state(i) === state_hptw_req && entries(i).ppn === hyper_arb1.io.out.bits.ppn && entries(i).s2xlate) {
512d0de7e4aSpeixiaokun        state(i) := state_hptw_resp
513d0de7e4aSpeixiaokun        entries(i).wait_id := hyper_arb1.io.chosen
514d0de7e4aSpeixiaokun      }
515d0de7e4aSpeixiaokun    }
516d0de7e4aSpeixiaokun  }
517d0de7e4aSpeixiaokun
518d0de7e4aSpeixiaokun  when (hyper_arb2.io.out.fire()) {
519d0de7e4aSpeixiaokun    for (i <- state.indices) {
520d0de7e4aSpeixiaokun      when (state(i) === state_last_hptw_req && entries(i).ppn === hyper_arb2.io.out.bits.ppn && entries(i).s2xlate) {
521d0de7e4aSpeixiaokun        state(i) := state_last_hptw_resp
522d0de7e4aSpeixiaokun        entries(i).wait_id := hyper_arb2.io.chosen
523d0de7e4aSpeixiaokun      }
524d0de7e4aSpeixiaokun    }
525d0de7e4aSpeixiaokun  }
526d0de7e4aSpeixiaokun
527d0de7e4aSpeixiaokun  when (io.hptw.resp.fire()) {
528d0de7e4aSpeixiaokun    for (i <- state.indices) {
529d0de7e4aSpeixiaokun      when (state(i) === state_hptw_resp && io.hptw.resp.bits.id === entries(i).wait_id) {
530d0de7e4aSpeixiaokun        state(i) := state_addr_check
531d0de7e4aSpeixiaokun        entries(i).gpf := io.hptw.resp.bits.h_resp.gpf
532d0de7e4aSpeixiaokun        entries(i).gaf := io.hptw.resp.bits.h_resp.gaf
533d0de7e4aSpeixiaokun      }
534d0de7e4aSpeixiaokun      when (state(i) === state_last_hptw_resp && io.hptw.resp.bits.id === entries(i).wait_id) {
535d0de7e4aSpeixiaokun        state(i) := state_mem_out
536d0de7e4aSpeixiaokun        entries(i).gpf := io.hptw.resp.bits.h_resp.gpf
537d0de7e4aSpeixiaokun        entries(i).gaf := io.hptw.resp.bits.h_resp.gaf
538d0de7e4aSpeixiaokun      }
539d0de7e4aSpeixiaokun    }
540d0de7e4aSpeixiaokun  }
541d0de7e4aSpeixiaokun
542935edac4STang Haojin  when (io.out.fire) {
54392e3bfefSLemover    assert(state(mem_ptr) === state_mem_out)
54492e3bfefSLemover    state(mem_ptr) := state_idle
54592e3bfefSLemover  }
54692e3bfefSLemover  mem_resp_hit.map(a => when (a) { a := false.B } )
54792e3bfefSLemover
5487797f035SbugGenerator  when (io.cache.fire) {
5497797f035SbugGenerator    state(cache_ptr) := state_idle
55092e3bfefSLemover  }
5517797f035SbugGenerator  XSError(io.out.fire && io.cache.fire && (mem_ptr === cache_ptr), "mem resp and cache fire at the same time at same entry")
55292e3bfefSLemover
55392e3bfefSLemover  when (flush) {
55492e3bfefSLemover    state.map(_ := state_idle)
55592e3bfefSLemover  }
55692e3bfefSLemover
55792e3bfefSLemover  io.in.ready := !full
55892e3bfefSLemover
559935edac4STang Haojin  io.out.valid := ParallelOR(is_having).asBool
56092e3bfefSLemover  io.out.bits.req_info := entries(mem_ptr).req_info
56192e3bfefSLemover  io.out.bits.id := mem_ptr
56292e3bfefSLemover  io.out.bits.af := entries(mem_ptr).af
563d0de7e4aSpeixiaokun  io.out.bits.h_resp := io.hptw.resp.bits.h_resp
564d0de7e4aSpeixiaokun
565d0de7e4aSpeixiaokun  io.hptw.req.valid := (hyper_arb1.io.out.valid || hyper_arb2.io.out.valid) && !flush
56682978df9Speixiaokun  io.hptw.req.bits.gvpn := Mux(hyper_arb1.io.out.valid, hyper_arb1.io.out.bits.ppn, hyper_arb2.io.out.bits.ppn)
567d0de7e4aSpeixiaokun  io.hptw.req.bits.id := Mux(hyper_arb1.io.out.valid, hyper_arb1.io.chosen, hyper_arb2.io.chosen)
568*eb4bf3f2Speixiaokun  io.hptw.req.bits.source := Mux(hyper_arb1.io.out.valid, hyper_arb1.io.out.bits.req_info.source, hyper_arb2.io.out.bits.req_info.source)
569d0de7e4aSpeixiaokun  hyper_arb1.io.out.ready := io.hptw.req.ready
570d0de7e4aSpeixiaokun  hyper_arb2.io.out.ready := io.hptw.req.ready
57192e3bfefSLemover
57292e3bfefSLemover  io.mem.req.valid := mem_arb.io.out.valid && !flush
57392e3bfefSLemover  io.mem.req.bits.addr := MakeAddr(mem_arb.io.out.bits.ppn, getVpnn(mem_arb.io.out.bits.req_info.vpn, 0))
57492e3bfefSLemover  io.mem.req.bits.id := mem_arb.io.chosen
57592e3bfefSLemover  mem_arb.io.out.ready := io.mem.req.ready
57692e3bfefSLemover  io.mem.refill := entries(RegNext(io.mem.resp.bits.id(log2Up(l2tlbParams.llptwsize)-1, 0))).req_info
57792e3bfefSLemover  io.mem.buffer_it := mem_resp_hit
57892e3bfefSLemover  io.mem.enq_ptr := enq_ptr
57992e3bfefSLemover
5807797f035SbugGenerator  io.cache.valid := Cat(is_cache).orR
5817797f035SbugGenerator  io.cache.bits := ParallelMux(is_cache, entries.map(_.req_info))
5827797f035SbugGenerator
583935edac4STang Haojin  XSPerfAccumulate("llptw_in_count", io.in.fire)
58492e3bfefSLemover  XSPerfAccumulate("llptw_in_block", io.in.valid && !io.in.ready)
58592e3bfefSLemover  for (i <- 0 until 7) {
586935edac4STang Haojin    XSPerfAccumulate(s"enq_state${i}", io.in.fire && enq_state === i.U)
58792e3bfefSLemover  }
58892e3bfefSLemover  for (i <- 0 until (l2tlbParams.llptwsize + 1)) {
58992e3bfefSLemover    XSPerfAccumulate(s"util${i}", PopCount(is_emptys.map(!_)) === i.U)
59092e3bfefSLemover    XSPerfAccumulate(s"mem_util${i}", PopCount(is_mems) === i.U)
59192e3bfefSLemover    XSPerfAccumulate(s"waiting_util${i}", PopCount(is_waiting) === i.U)
59292e3bfefSLemover  }
593935edac4STang Haojin  XSPerfAccumulate("mem_count", io.mem.req.fire)
59492e3bfefSLemover  XSPerfAccumulate("mem_cycle", PopCount(is_waiting) =/= 0.U)
59592e3bfefSLemover  XSPerfAccumulate("blocked_in", io.in.valid && !io.in.ready)
59692e3bfefSLemover
59792e3bfefSLemover  for (i <- 0 until l2tlbParams.llptwsize) {
59892e3bfefSLemover    TimeOutAssert(state(i) =/= state_idle, timeOutThreshold, s"missqueue time out no out ${i}")
59992e3bfefSLemover  }
60092e3bfefSLemover
60192e3bfefSLemover  val perfEvents = Seq(
602935edac4STang Haojin    ("tlbllptw_incount           ", io.in.fire               ),
60392e3bfefSLemover    ("tlbllptw_inblock           ", io.in.valid && !io.in.ready),
604935edac4STang Haojin    ("tlbllptw_memcount          ", io.mem.req.fire          ),
60592e3bfefSLemover    ("tlbllptw_memcycle          ", PopCount(is_waiting)       ),
60692e3bfefSLemover  )
60792e3bfefSLemover  generatePerfEvent()
60892e3bfefSLemover}
609d0de7e4aSpeixiaokun
610d0de7e4aSpeixiaokun/*========================= HPTW ==============================*/
611d0de7e4aSpeixiaokun
612d0de7e4aSpeixiaokun/** HPTW : Hypervisor Page Table Walker
613d0de7e4aSpeixiaokun  * the page walker take the virtual machine's page walk.
614d0de7e4aSpeixiaokun  * guest physical address translation, guest physical address -> host physical address
615d0de7e4aSpeixiaokun  **/
616d0de7e4aSpeixiaokunclass HPTWIO()(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst {
617d0de7e4aSpeixiaokun  val req = Flipped(DecoupledIO(new Bundle {
618*eb4bf3f2Speixiaokun    val source = UInt(bSourceWidth.W)
619d0de7e4aSpeixiaokun    val id = UInt(log2Up(l2tlbParams.llptwsize).W)
62082978df9Speixiaokun    val gvpn = UInt(vpnLen.W)
621d0de7e4aSpeixiaokun    val l1Hit = Bool()
622d0de7e4aSpeixiaokun    val l2Hit = Bool()
623d0de7e4aSpeixiaokun  }))
624d0de7e4aSpeixiaokun  val resp = Valid(new Bundle {
625*eb4bf3f2Speixiaokun    val source = UInt(bSourceWidth.W)
626d0de7e4aSpeixiaokun    val resp = Output(new HptwResp())
627d0de7e4aSpeixiaokun    val id = Output(UInt(bMemID.W))
628d0de7e4aSpeixiaokun  })
629d0de7e4aSpeixiaokun
630d0de7e4aSpeixiaokun  val mem = new Bundle {
631d0de7e4aSpeixiaokun    val req = DecoupledIO(new L2TlbMemReqBundle())
632d0de7e4aSpeixiaokun    val resp = Flipped(ValidIO(UInt(XLEN.W)))
633d0de7e4aSpeixiaokun    val mask = Input(Bool())
634d0de7e4aSpeixiaokun  }
635d0de7e4aSpeixiaokun  val refill = Output(new Bundle {
636d0de7e4aSpeixiaokun    val req_info = new L2TlbInnerBundle()
637d0de7e4aSpeixiaokun    val level = UInt(log2Up(Level).W)
638d0de7e4aSpeixiaokun  })
639d0de7e4aSpeixiaokun  val pmp = new Bundle {
640d0de7e4aSpeixiaokun    val req = ValidIO(new PMPReqBundle())
641d0de7e4aSpeixiaokun    val resp = Flipped(new PMPRespBundle())
642d0de7e4aSpeixiaokun  }
643d0de7e4aSpeixiaokun}
644d0de7e4aSpeixiaokun
645d0de7e4aSpeixiaokun@chiselName
646d0de7e4aSpeixiaokunclass HPTW()(implicit p: Parameters) extends XSModule with HasPtwConst {
647d0de7e4aSpeixiaokun  val io = IO(new HPTWIO)
648d0de7e4aSpeixiaokun  val hgatp = io.csr.hgatp
649d0de7e4aSpeixiaokun  val sfence = io.sfence
650d0de7e4aSpeixiaokun  val flush = sfence.valid || hgatp.changed
651d0de7e4aSpeixiaokun
652d0de7e4aSpeixiaokun  val level = RegInit(0.U(log2Up(Level).W))
653d0de7e4aSpeixiaokun  val gpaddr = Reg(UInt(GPAddrBits.W))
654d0de7e4aSpeixiaokun  val vpn = gpaddr(GPAddrBits-1, offLen)
655d0de7e4aSpeixiaokun  val levelNext = level + 1.U
656d0de7e4aSpeixiaokun  val l1Hit = Reg(Bool())
657d0de7e4aSpeixiaokun  val l2Hit = Reg(Bool())
658d0de7e4aSpeixiaokun  val ppn = Reg(UInt(ppnLen.W))
65950c7aa78Speixiaokun  val pg_base = MakeGAddr(hgatp.ppn, getGVpnn(vpn, 2.U))
660d0de7e4aSpeixiaokun//  val pte = io.mem.resp.bits.MergeRespToPte()
661d0de7e4aSpeixiaokun  val pte = io.mem.resp.bits.asTypeOf(new PteBundle().cloneType)
662d0de7e4aSpeixiaokun  val p_pte = MakeAddr(ppn, getVpnn(vpn, 2.U - level))
663d0de7e4aSpeixiaokun  val mem_addr = Mux(level === 0.U, pg_base, p_pte)
664d0de7e4aSpeixiaokun
665d0de7e4aSpeixiaokun  //s/w register
666d0de7e4aSpeixiaokun  val s_pmp_check = RegInit(true.B)
667d0de7e4aSpeixiaokun  val s_mem_req = RegInit(true.B)
668d0de7e4aSpeixiaokun  val w_mem_resp = RegInit(true.B)
669d0de7e4aSpeixiaokun  val mem_addr_update = RegInit(true.B)
670d0de7e4aSpeixiaokun  val idle = RegInit(true.B)
671d0de7e4aSpeixiaokun  val finish = WireInit(false.B)
672d0de7e4aSpeixiaokun
673d0de7e4aSpeixiaokun  val sent_to_pmp = !idle && (!s_pmp_check || mem_addr_update) && !finish
674d0de7e4aSpeixiaokun  val pageFault = pte.isPf(level)
675d0de7e4aSpeixiaokun  val accessFault = RegEnable(io.pmp.resp.ld || io.pmp.resp.mmio, sent_to_pmp)
676d0de7e4aSpeixiaokun
677d0de7e4aSpeixiaokun  val ppn_af = pte.isAf()
678d0de7e4aSpeixiaokun  val find_pte = pte.isLeaf() || ppn_af || pageFault
679d0de7e4aSpeixiaokun
680d0de7e4aSpeixiaokun  val resp_valid = !idle && mem_addr_update && ((w_mem_resp && find_pte) || (s_pmp_check && accessFault))
681d0de7e4aSpeixiaokun  val id = Reg(UInt(log2Up(l2tlbParams.llptwsize).W))
682*eb4bf3f2Speixiaokun  val source = RegEnable(io.req.bits.source, io.req.fire())
683*eb4bf3f2Speixiaokun
684d0de7e4aSpeixiaokun  io.req.ready := idle
685*eb4bf3f2Speixiaokun  val resp = Wire(new HptwResp())
686d0de7e4aSpeixiaokun  resp.apply(pageFault && !accessFault && !ppn_af, accessFault || ppn_af, level, pte, vpn, hgatp.asid)
687d0de7e4aSpeixiaokun  io.resp.valid := resp_valid
688d0de7e4aSpeixiaokun  io.resp.bits.id := id
689d0de7e4aSpeixiaokun  io.resp.bits.resp := resp
690*eb4bf3f2Speixiaokun  io.resp.bits.source := source
691d0de7e4aSpeixiaokun
692d0de7e4aSpeixiaokun  io.pmp.req.valid := DontCare
693d0de7e4aSpeixiaokun  io.pmp.req.bits.addr := mem_addr
694d0de7e4aSpeixiaokun  io.pmp.req.bits.size := 3.U
695d0de7e4aSpeixiaokun  io.pmp.req.bits.cmd := TlbCmd.read
696d0de7e4aSpeixiaokun
697d0de7e4aSpeixiaokun  io.mem.req.valid := !s_mem_req && !io.mem.mask && !accessFault && s_pmp_check
698d0de7e4aSpeixiaokun  io.mem.req.bits.addr := mem_addr
699d0de7e4aSpeixiaokun  io.mem.req.bits.id := HptwReqId.U(bMemID.W)
700d0de7e4aSpeixiaokun
70182978df9Speixiaokun  io.refill.req_info.vpn := vpn
702d0de7e4aSpeixiaokun  io.refill.level := level
703*eb4bf3f2Speixiaokun  io.refill.req_info.source := source
704*eb4bf3f2Speixiaokun  io.refill.req_info.s2xlate := onlyStage2
705d0de7e4aSpeixiaokun  when (idle){
706d0de7e4aSpeixiaokun    when(io.req.fire()){
707d0de7e4aSpeixiaokun      level := Mux(io.req.bits.l2Hit, 2.U, Mux(io.req.bits.l1Hit, 1.U, 0.U))
708d0de7e4aSpeixiaokun      idle := false.B
709d0de7e4aSpeixiaokun      gpaddr := Cat(io.req.bits.gvpn, 0.U(offLen.W))
710d0de7e4aSpeixiaokun      accessFault := false.B
711d0de7e4aSpeixiaokun      s_pmp_check := false.B
712d0de7e4aSpeixiaokun      id := io.req.bits.id
713d0de7e4aSpeixiaokun      l1Hit := io.req.bits.l1Hit
714d0de7e4aSpeixiaokun      l2Hit := io.req.bits.l2Hit
715d0de7e4aSpeixiaokun    }
716d0de7e4aSpeixiaokun  }
717d0de7e4aSpeixiaokun
718d0de7e4aSpeixiaokun  when(sent_to_pmp && !mem_addr_update){
719d0de7e4aSpeixiaokun    s_mem_req := false.B
720d0de7e4aSpeixiaokun    s_pmp_check := true.B
721d0de7e4aSpeixiaokun  }
722d0de7e4aSpeixiaokun
723d0de7e4aSpeixiaokun  when(accessFault && !idle){
724d0de7e4aSpeixiaokun    s_pmp_check := true.B
725d0de7e4aSpeixiaokun    s_mem_req := true.B
726d0de7e4aSpeixiaokun    w_mem_resp := true.B
727d0de7e4aSpeixiaokun    mem_addr_update := true.B
728d0de7e4aSpeixiaokun  }
729d0de7e4aSpeixiaokun
730d0de7e4aSpeixiaokun  when(io.mem.req.fire()){
731d0de7e4aSpeixiaokun    s_mem_req := true.B
732d0de7e4aSpeixiaokun    w_mem_resp := false.B
733d0de7e4aSpeixiaokun  }
734d0de7e4aSpeixiaokun
735d0de7e4aSpeixiaokun  when(io.mem.resp.fire() && !w_mem_resp){
736d0de7e4aSpeixiaokun    ppn := pte.ppn
737d0de7e4aSpeixiaokun    w_mem_resp := true.B
738d0de7e4aSpeixiaokun    mem_addr_update := true.B
739d0de7e4aSpeixiaokun  }
740d0de7e4aSpeixiaokun
741d0de7e4aSpeixiaokun  when(mem_addr_update){
742d0de7e4aSpeixiaokun    when(!(find_pte || accessFault)){
743d0de7e4aSpeixiaokun      level := levelNext
744d0de7e4aSpeixiaokun      s_mem_req := false.B
745d0de7e4aSpeixiaokun      mem_addr_update := false.B
746d0de7e4aSpeixiaokun    }.elsewhen(resp_valid){
747d0de7e4aSpeixiaokun      when(io.resp.fire()){
748d0de7e4aSpeixiaokun        idle := true.B
749d0de7e4aSpeixiaokun        mem_addr_update := false.B
750d0de7e4aSpeixiaokun        accessFault := false.B
751d0de7e4aSpeixiaokun      }
752d0de7e4aSpeixiaokun      finish := true.B
753d0de7e4aSpeixiaokun    }
754d0de7e4aSpeixiaokun  }
755d0de7e4aSpeixiaokun}