On 11/21/22 11:51, Dexuan Cui wrote: > __tdx_hypercall() doesn't work for a TDX guest running on Hyper-V, > because Hyper-V uses a different calling convention, so add the > new function __tdx_ms_hv_hypercall(). Other than R10 being variable here and fixed for __tdx_hypercall(), this looks *EXACTLY* the same as __tdx_hypercall(), or at least a strict subset of what __tdx_hypercall() can do. Did I miss something? Another way of saying this: It seems like you could do this with a new version of _tdx_hypercall() (and all in C) instead of a new __tdx_hypercall().