/* This function gets the maximum number of Virtual CPUs that are usable for Td Guest. */
UINT32 EFIAPI TdMaxVCpuNum(VOID)
/* This function gets the maximum number of Virtual CPUs that are usable for Td Guest. */
UINT32 EFIAPI TdMaxVCpuNum(VOID)
{
  if (mTdDataReturned) {
    return mTdMaxVCpuNum;
  }
  return GetTdInfo () ? mTdMaxVCpuNum : 0;
}