Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Alex Williamson
On Sat, 13 Feb 2016 19:20:32 -0500 "Kevin O'Connor" wrote: > On Sat, Feb 13, 2016 at 01:57:09PM -0700, Alex Williamson wrote: > > On Sat, 13 Feb 2016 15:05:09 -0500 > > "Kevin O'Connor" wrote: > > > On Sat, Feb 13, 2016 at 11:51:51AM -0700, Alex Williamson wrote: > > > > On Sat, 13 Feb 2016

Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Kevin O'Connor
On Sat, Feb 13, 2016 at 01:57:09PM -0700, Alex Williamson wrote: > On Sat, 13 Feb 2016 15:05:09 -0500 > "Kevin O'Connor" wrote: > > On Sat, Feb 13, 2016 at 11:51:51AM -0700, Alex Williamson wrote: > > > On Sat, 13 Feb 2016 13:18:39 -0500 > > > "Kevin O'Connor" wrote: > > > > On Sat, Feb 13, 201

Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Alex Williamson
On Sat, 13 Feb 2016 15:05:09 -0500 "Kevin O'Connor" wrote: > On Sat, Feb 13, 2016 at 11:51:51AM -0700, Alex Williamson wrote: > > On Sat, 13 Feb 2016 13:18:39 -0500 > > "Kevin O'Connor" wrote: > > > On Sat, Feb 13, 2016 at 08:12:09AM -0700, Alex Williamson wrote: > > > > On Fri, 12 Feb 2016

Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Kevin O'Connor
On Sat, Feb 13, 2016 at 11:51:51AM -0700, Alex Williamson wrote: > On Sat, 13 Feb 2016 13:18:39 -0500 > "Kevin O'Connor" wrote: > > On Sat, Feb 13, 2016 at 08:12:09AM -0700, Alex Williamson wrote: > > > On Fri, 12 Feb 2016 21:49:04 -0500 > > > "Kevin O'Connor" wrote: > > > > On Fri, Feb 12, 201

Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Alex Williamson
On Sat, 13 Feb 2016 13:18:39 -0500 "Kevin O'Connor" wrote: > On Sat, Feb 13, 2016 at 08:12:09AM -0700, Alex Williamson wrote: > > On Fri, 12 Feb 2016 21:49:04 -0500 > > "Kevin O'Connor" wrote: > > > On Fri, Feb 12, 2016 at 05:23:18PM -0700, Alex Williamson wrote: > > > > Intel IGD makes use

Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Kevin O'Connor
On Sat, Feb 13, 2016 at 08:12:09AM -0700, Alex Williamson wrote: > On Fri, 12 Feb 2016 21:49:04 -0500 > "Kevin O'Connor" wrote: > > On Fri, Feb 12, 2016 at 05:23:18PM -0700, Alex Williamson wrote: > > > Intel IGD makes use of memory allocated and marked reserved by the > > > BIOS as a stolen memor

Re: [SeaBIOS] [RFC PATCH v3 3/3] fw/pci: Allocate IGD stolen memory

2016-02-13 Thread Alex Williamson
Hi Kevin, On Fri, 12 Feb 2016 21:49:04 -0500 "Kevin O'Connor" wrote: > On Fri, Feb 12, 2016 at 05:23:18PM -0700, Alex Williamson wrote: > > Intel IGD makes use of memory allocated and marked reserved by the > > BIOS as a stolen memory range. For the most part, guest drivers don't > > make use o