This repository contains the specification source for the RISC-V IOPMP Specification. This document proposes a Physical Memory Protection Unit of Input/Output devices, IOPMP for short, to regulate the accesses issued from the bus masters.
In Format 2, MDLCK.md[m] locks both SRCMD_PERM(m).r and SRCMD_PERM(m).w. For MD m≥32, one should use MDLCKH.mdh to lock corresponding bits.
Given that in Format 2, SRCMD_PERM is indexed by md_num, this means that both SRCMD_PERM(m) and SRCMD_PERMH(m) are indexed by MD m. I believe MDLCK.md[m] should lock both SRCMD_PERM(m).r/w and SRCMD_PERMH(m).r/w not only SRCMD_PERM(m).r/w.
In section 3.5.1, the specs states that:
Given that in Format 2, SRCMD_PERM is indexed by
md_num
, this means that both SRCMD_PERM(m) and SRCMD_PERMH(m) are indexed by MD m. I believe MDLCK.md[m] should lock both SRCMD_PERM(m).r/w and SRCMD_PERMH(m).r/w not only SRCMD_PERM(m).r/w.