/* Use the TDVMCALL instruction to handle cpuid #ve */
STATIC UINT64 EFIAPI CpuIdExit(IN EFI_SYSTEM_CONTEXT_X64 *Regs, IN TDCALL_VEINFO_RETURN_DATA *Veinfo)
/* Use the TDVMCALL instruction to handle cpuid #ve */
STATIC UINT64 EFIAPI CpuIdExit(IN EFI_SYSTEM_CONTEXT_X64 *Regs, IN TDCALL_VEINFO_RETURN_DATA *Veinfo)
{
  CPUID_DATA  CpuIdData;
  UINT64      Status;
  Status = TdVmCallCpuid (Regs->Rax, Regs->Rcx, &CpuIdData);
  if (Status == 0) {
    Regs->Rax = CpuIdData.Regs[0];
    Regs->Rbx = CpuIdData.Regs[1];
    Regs->Rcx = CpuIdData.Regs[2];
    Regs->Rdx = CpuIdData.Regs[3];
  }
  return Status;
}