#include <Library/MemoryAllocationLib.h>\r
#include <Library/PcdLib.h>\r
#include <Library/UefiBootServicesTableLib.h>\r
+#include <Library/CcProbeLib.h>\r
\r
#include <Protocol/IncompatiblePciDeviceSupport.h>\r
#include <Protocol/LegacyBios.h>\r
//\r
// In Td guest OptionRom is not allowed.\r
//\r
- if (TdIsEnabled ()) {\r
+ if (CcProbe ()) {\r
Length += sizeof mOptionRomConfiguration;\r
}\r
\r
CopyMem (Ptr, &mMmio64Configuration, sizeof mMmio64Configuration);\r
Length = sizeof mMmio64Configuration;\r
\r
- if (TdIsEnabled ()) {\r
+ if (CcProbe ()) {\r
CopyMem (Ptr + Length, &mOptionRomConfiguration, sizeof mOptionRomConfiguration);\r
Length += sizeof mOptionRomConfiguration;\r
}\r