On Thu, Mar 07, 2019 at 05:53:48PM +0000, Dr. David Alan Gilbert wrote:
> * Stefan Hajnoczi (stefanha@redhat.com) wrote:
> > On Mon, Mar 04, 2019 at 01:25:29PM +0000, Dr. David Alan Gilbert (git) wrote:
> > > +\subsection{Addressing within regions}\label{sec:Basic Facilities of a Virtio Device / Shared Memory Regions / Addressing within regions }
> > > +
> > > +Commands sent over the virtqueues may refer to data within the
> > > +shared memory regions, for example a command may be used by a
> > > +driver to cause a device to add or remove a mapping within
> > > +a region.  When referring to data, the addresses will normally be
> > > +offsets within a particular region rather than absolute host or
> > > +guest addresses.  The \field{shmid} may be explicit or may be
> > > +inferred from the command type.
> > 
> > This sounds like normative statements.  They belong in a driver or
> > device normative section.
> 
> I think we were trying in a previous version to make it one; but the
> problem is it's not really a statement about something a device or
> driver must do; it's a statement advising someone writing the spec
> for a particular device to make sure it's specified like that.

I see.  An idea for phrasing this in descriptive language:

  References into shared memory regions are represented as offsets from
  the beginning of the region instead of absolute memory addresses since
  absolute memory addresses are transport- and/or
  architecture-dependent.  Offsets are used both for references between
  structures stored within shared memory and for requests placed in
  virtqueues that refer to shared memory.

Feel free to discard this if you prefer the current wording.

Stefan