On Sun, Sep 4, 2011 at 8:10 AM, Avi Kivity <a...@redhat.com> wrote: > On 09/04/2011 12:18 AM, Blue Swirl wrote: >> >> Add a new memory space for PCI instead of using system memory. >> >> This also fixes a bug where VGA region vga.chain4 is >> accidentally mapped to 0xa0000 instead of 0x1ff000a0000. >> >> > > Looks good. I assume you'll commit this directly, since it fixes a > regression?
OK, pushed.