On Mon, 06 Jul 2020 14:18:28 -0700
Alexander Duyck <[email protected]> wrote:

> From: Alexander Duyck <[email protected]>
> 
> Free page reporting is a feature that allows the guest to proactively
> report unused pages to the host. By making use of this feature is is
> possible to reduce the overall memory footprint of the guest in cases where
> some significant portion of the memory is idle. Add documentation for the
> free page reporting feature describing the functionality and requirements.
> 
> Signed-off-by: Alexander Duyck <[email protected]>
> ---
>  conformance.tex |    2 +
>  content.tex     |   89 
> +++++++++++++++++++++++++++++++++++++++++++++++++++++--
>  2 files changed, 87 insertions(+), 4 deletions(-)

(...)

> @@ -5088,10 +5097,16 @@ \subsection{Device Initialization}\label{sec:Device 
> Types / Memory Balloon Devic
>  \item If the VIRTIO_BALLOON_F_PAGE_POISON feature bit is negotiated, the
>    driver updates the \field{poison_val} configuration field.
>  
> +\item If the VIRTIO_BALLOON_F_PAGE_REPORTING feature bit is negotiated the

s/negotiated/negotiated,/

> +  reporting_vq is identified.

Again, maybe use "identify the reporting_vq", just to keep the wording
more consistent?

> +
>  \item DRIVER_OK is set: device operation begins.
>  
>  \item If the VIRTIO_BALLOON_F_STATS_VQ feature bit is negotiated, then
>    notify the device about the stats virtqueue buffer.
> +
> +\item If the VIRTIO_BALLOON_F_PAGE_REPORTING feature bit is negotiated then

s/negotiated/negotiated,/

> +  begin reporting free pages to the device.
>  \end{enumerate}
>  
>  \subsection{Device Operation}\label{sec:Device Types / Memory Balloon Device 
> / Device Operation}

(...)

Other than those nits, looks good to me.

Reviewed-by: Cornelia Huck <[email protected]>


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to