VOID __stdcall InbvPortPutByte(UINT64 BlFileId, UINT8 Output){
_QWORD *v2;
char v3;
if( (unsigned int)BlFileId < 4 )
{
v2 = (_QWORD *)((char *)&Ports + 40 * (unsigned int)BlFileId);
if( *v2 )
{
v3 = 1;
(*(void(__fastcall **)(_QWORD *, UINT8, char))(*(&SbiVmbusArrivalEvent + 3) + 24i64))(v2, Output, v3);
}
}
}