From: Konrad Rzeszutek Wilk on
> +#define GNTTAB_START 0xfbfe0000ul
> +#define GNTTAB_SIZE 0x20000ul

Is it possible that there would be a PCI device that would be
passed in the guest that would conflict with the above mentioned
E820 region?
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo(a)vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/