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