Skip to content

Commit

Permalink
formating updates
Browse files Browse the repository at this point in the history
  • Loading branch information
ved-rivos committed May 11, 2024
1 parent 59946a7 commit 244aee3
Show file tree
Hide file tree
Showing 5 changed files with 10 additions and 2 deletions.
2 changes: 2 additions & 0 deletions iommu_data_structures.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -376,6 +376,8 @@ that supports multiple process contexts and thus generates a valid `process_id`
with its memory accesses. For PCIe, for example, if the request has a PASID
then the PASID is used as the `process_id`.
<<<
When `PDTV` is 1, the `DPE` bit may set to 1 to enable the use of 0 as the
default value of `process_id` for translating requests without a valid
`process_id`. When `PDTV` is 0, the `DPE` bit is reserved for future standard
Expand Down
2 changes: 2 additions & 0 deletions iommu_hw_guidelines.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,8 @@ indicate this condition. For AXI, for example, the completion status is provided
by SLVERR on RRESP (Read Data channel). For PCIe, for example, the completion
status field may be set to "Unsupported Request" (UR) or "Completer Abort" (CA).

<<<

[[RAS]]
=== Reliability, Availability, and Serviceability (RAS)
The IOMMU may support a RAS architecture that specifies the methods for
Expand Down
4 changes: 2 additions & 2 deletions iommu_in_memory_queues.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -200,7 +200,7 @@ reads from IOMMU to the corresponding first-stage page tables.

.`IOTINVAL.VMA` operands and operations
[width=75%]
[%header, cols="2,2,3,20"]
[%header, cols="2,2,3,30"]
|===
|`GV`|`AV`|`PSCV`| Operation
|0 |0 |0 | Invalidates all address-translation cache entries, including
Expand Down Expand Up @@ -245,7 +245,7 @@ is illegal.

.`IOTINVAL.GVMA` operands and operations
[width=75%]
[%header, cols="2,2,20"]
[%header, cols="2,2,30"]
|===
| `GV` | `AV` | Operation
| 0 | ignored| Invalidates information cached from any level of the
Expand Down
2 changes: 2 additions & 0 deletions iommu_registers.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -101,6 +101,8 @@ The reset value is 0 for the following registers fields.
* `tr_req_ctl.Go/Busy`
* `ddtp.busy`

<<<

The reset value is 0 for the following registers.

* `ipsr`
Expand Down
2 changes: 2 additions & 0 deletions iommu_sw_guidelines.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -310,6 +310,8 @@ the DevATC may be satisfied by the IOMMU from the IOATC, to ensure correct
operation software must first invalidate the IOATC before sending
invalidations to the DevATC.

<<<

==== Caching invalid entries

This specification does not allow the caching of first/second-stage PTEs whose
Expand Down

0 comments on commit 244aee3

Please sign in to comment.