VOID __stdcall BvgaNotifyDisplayOwnershipChange(UINT64 x1, UINT64 y1, UINT64 x2, UINT64 y2, UINT64 color, UINT64 a6){
char v7;
v7 = x1;
if( (_BYTE)x1 )
{
if( BvgaDisplayState )
BvgaAcquireDisplayOwnership();
}
else if( BvgaDisplayState != 2 )
{
BvgaNotifyDisplayOwnershipLost(0i64);
}
LOBYTE(x1) = v7;
BgkNotifyDisplayOwnershipChange((VOID *)x1, (__int64(__fastcall *)(_QWORD, _QWORD, _QWORD))y1);
}