[vfio-users] Is stolen memory wasted after IGD passed through into guest os?

[Acewind]

In my host os, command of ' lspci -v -s 00:02.0' will show:
Memory at e8000000 (64-bit, prefetchable) [size=128M]

Is this 128M memory called 'stolen memory'?

If this IGD device is passed through into guest os, will it be deserted and
wasted? Or mapped into and resused in guest os?
My  host os is ubuntu 18.04 with kernel 4.15.0-29-generic and qemu 2.11.1,
guest os is windows 7.


Output of lspci -v -s 00:02.0:
root at test:/home# lspci -v -s 00:02.0
00:02.0 VGA compatible controller: Intel Corporation 4th Gen Core Processor
Integrated Graphics Controller (rev 06) (prog-if 00 [VGA controller])
Subsystem: Intel Corporation 4th Gen Core Processor Integrated Graphics
Controller
Flags: bus master, fast devsel, latency 0, IRQ 16
Memory at f7800000 (64-bit, non-prefetchable) [size=4M]
Memory at e8000000 (64-bit, prefetchable) [size=128M]
I/O ports at f000 [size=64]
[virtual] Expansion ROM at 000c0000 [disabled] [size=128K]
Capabilities: [90] MSI: Enable- Count=1/1 Maskable- 64bit-
Capabilities: [d0] Power Management version 2
Capabilities: [a4] PCI Advanced Features
Kernel driver in use: vfio-pci
Kernel modules: i915
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listman.redhat.com/archives/vfio-users/attachments/20180925/189bf459/attachment.htm>