clarify

diff --git a/isa_conflict_resolution/ioctl.mdwn b/isa_conflict_resolution/ioctl.mdwn
index 22c693c7b16c58fe1872a26c1c9d9209bc5b1cb9..c04e2c01e34b3db42f35a4ab3f413908b5693e05 100644 (file)
--- a/isa_conflict_resolution/ioctl.mdwn
+++ b/isa_conflict_resolution/ioctl.mdwn
@@ -9,7 +9,7 @@ local interface cookie in rs1. Based on the cookie, the CPU routes the
 "overloaded" instructions to a "device" on or off the CPU that implements
 the actual semantics.
 
-The cookie is "opened" with an additional r-type instruction ext_open that
+The cookie is "opened" with an additional R-type instruction ext_open that
 takes a 20 bit identifier and "closed" with an  ext_close instruction. The
 implementing hardware device can use the cookie to reference internal
 state. Thus, interfaces may be statefull.