> +#define GNTTAB_START 0xfbfe0000ul> +#define GNTTAB_SIZE 0x20000ulIs it possible that there would be a PCI device that would be passed in the guest that would conflict with the above mentionedE820 region?