- _ReadWriteBarrier ();\r
- (UINT8)_outp ((UINT16)Port, Value);\r
- _ReadWriteBarrier ();\r
+ if (IsTdxGuest ()) {\r
+ TdIoWrite8 (Port, Value);\r
+ } else {\r
+ _ReadWriteBarrier ();\r
+ (UINT8)_outp ((UINT16)Port, Value);\r
+ _ReadWriteBarrier ();\r
+ }\r