From 82ee05b82d2155a6fb5a1c9bf81bc13dabca2776 Mon Sep 17 00:00:00 2001
From: rusty <rusty@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652>
Date: Wed, 12 Feb 2014 03:17:48 +0000
Subject: ccw: Further use of RFC2119 language.

Some more instances of MAY and SHOULD, as reported in TAB comments
TAB-548 and TAB-550.

As per minutes:
        https://lists.oasis-open.org/archives/virtio/201402/msg00121.html

Signed-off-by: Cornelia Huck <cornelia.huck@de.ibm.com>
Signed-off-by: Rusty Russell <rusty@au1.ibm.com>

git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@242 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
---
 content.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'content.tex')

diff --git a/content.tex b/content.tex
index 5abc79e..81160af 100644
--- a/content.tex
+++ b/content.tex
@@ -2281,7 +2281,7 @@ for the devices are contained, starting at \field{bit_nr}, one bit per
 virtqueue of the device. Bit numbers start at the left, i.e. the most
 significant bit in the first byte is assigned the bit number 0.
 \field{isc} contains the I/O interruption subclass to be used for the adapter
-I/O interrupt. It may be different from the isc used by the proxy
+I/O interrupt. It MAY be different from the isc used by the proxy
 virtio-ccw device's subchannel.
 
 If the driver has already set up classic queue indicators via the
@@ -2367,10 +2367,10 @@ The device MUST ignore bits 0-31 (counting from the left) of GPR2.
 This aligns passing the subchannel ID with the way it is passed
 for the existing I/O instructions.
 
-Host cookie is an optional per-virtqueue 64 bit value that can be
+Host cookie is an optional per-virtqueue 64 bit value that MAY be
 used by the hypervisor to speed up the notification execution.
 For each notification, the output value is returned in GPR2 and
-should be passed in GPR4 for the next notification:
+SHOULD be passed in GPR4 for the next notification:
 
 \begin{lstlisting}
 info->cookie = do_notify(schid,
-- 
cgit v1.2.3

