RE: [PATCH] x86/tdx: Support vmalloc() for tdx_enc_status_changed()