On 09/03/15 15:49, Michael S. Tsirkin wrote:
> On Fri, Aug 28, 2015 at 10:18:28PM +0200, Laszlo Ersek wrote:
>> +R1e. The generation ID shall not live in a page frame that could be mapped
>> with
>> + caching disabled. (In other words, if the generation ID lives in RAM,
>> then
>> + it shall only be mapped as cacheable.)
>
> Same if it's in ROM and MMIO.
Okay, I'll reword it as:
R1e. The generation ID shall not live in a page frame that could be
mapped with caching disabled. (In other words, regardless of
whether the generation ID lives in RAM, ROM or MMIO, it shall only
be mapped as cacheable.)
> The rest of it looks good to me.
>
> Acked-by: Michael S. Tsirkin <m...@redhat.com>
Thanks!
Laszlo
