VOID __stdcall BvgaBitBlt(UINT8 *Buffer, UINT64 x, UINT64 y){
unsigned int v3;
unsigned int v4;
v3 = y;
v4 = x;
if( BvgaBootDriverInstalled )
{
if( !BvgaDisplayState )
{
BvgaAcquireLock();
VidBitBlt(Buffer, v4, v3);
BvgaReleaseLock();
}
}
}