>>> Julien Grall <julien.gr...@citrix.com> 08/22/12 8:56 PM >>>
>+int hvm_register_pcidev(domid_t domid, ioservid_t id,
>+ uint8_t domain, uint8_t bus,
>+ uint8_t device, uint8_t function)
>+{"domain" needs to be "uint16_t". Also, just to double check: we don't currently expose the option of MMCONFIG to the guest (as otherwise the change would be incomplete)? Jan
