From 3b4c695efcb7933ca9b647913792ccb04db02553 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 21 Dec 2018 16:17:40 -0800 Subject: tweaks --- src/machine.tex | 5 ++--- src/rv32.tex | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/machine.tex b/src/machine.tex index d42b7a3..1921b03 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -2172,9 +2172,8 @@ The Wait for Interrupt instruction (WFI) provides a hint to the implementation that the current hart can be stalled until an interrupt might need servicing. Execution of the WFI instruction can also be used to inform the hardware platform that suitable interrupts should -preferentially be routed to this hart. WFI is available in all of the -supported S and M privilege modes, and optionally available to -U-mode for implementations that support U-mode interrupts. This instruction may +preferentially be routed to this hart. WFI is available in all +privileged modes, and optionally available to U-mode. This instruction may raise an illegal instruction exception when TW=1 in {\tt mstatus}, as described in Section~\ref{virt-control}. diff --git a/src/rv32.tex b/src/rv32.tex index 7b6368d..92a310f 100644 --- a/src/rv32.tex +++ b/src/rv32.tex @@ -1177,7 +1177,7 @@ ordered as device input and device output operations respectively rather than memory reads and writes. For example, memory-mapped I/O devices will typically be accessed with uncached loads and stores that are ordered using the I and O bits rather than the R and W bits. -Instruction-set extensions might also describe new coprocessor I/O +Instruction-set extensions might also describe new I/O instructions that will also be ordered using the I and O bits in a FENCE. -- cgit v1.1