> +/* Pick any address that was not mapped into the guest to test MMIO */ > +#define TDX_MMIO_TEST_ADDR 0x200000000 Also need to test below MMIO addresses (1) GPA with shared bit on. (2) GPA in memslot
> +/* Pick any address that was not mapped into the guest to test MMIO */ > +#define TDX_MMIO_TEST_ADDR 0x200000000 Also need to test below MMIO addresses (1) GPA with shared bit on. (2) GPA in memslot