Re: [PATCH] x86/tdx: Fix data leak in mmio_read()