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. The rest of it looks good to me. Acked-by: Michael S. Tsirkin <m...@redhat.com>
