VOID __stdcall InbvPortPutByte(UINT64 BlFileId, UINT8 Output){
__int64 *v2;
char v3;
if( (unsigned int)BlFileId < 4 )
{
v2 = &Ports[5 * (unsigned int)BlFileId];
if( *v2 )
{
v3 = 1;
(*(void(__fastcall **)(__int64 *, UINT8, char))(UartHardwareDriver + 24))(v2, Output, v3);
}
}
}