j
k
j a
j l
+/* 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
Back to the thread
Back to the list
