diff --git a/virtio-mem.tex b/virtio-mem.tex index f0c5970..cca3c9f 100644 --- a/virtio-mem.tex +++ b/virtio-mem.tex @@ -215,9 +215,9 @@ \subsection{Device Operation}\label{sec:Device Types / Memory Device / Device Op \drivernormative{\subsubsection}{Device Operation}{Device Types / Memory Device / Device Operation} -The driver MUST NOT write to unplugged memory blocks. +The driver MUST NOT write memory of unplugged memory blocks. -The driver MUST NOT read from unplugged memory blocks outside +The driver MUST NOT read memory of unplugged memory blocks outside \field{usable_region_size}. The driver MUST NOT read memory of unplugged memory blocks inside