INT64 __fastcall x86BiosWriteMemory(UINT16 a1, UINT16 a2, CHAR *a3, INT64 a4){
int v5;
UINT16 v6;
INT64 *v8;
CHAR v9;
v5 = a4;
v6 = a2;
if( a2 + (unsigned int)a4 + 16 * a1 > 0x100000 )
return 3221225485i64;
if( (_DWORD)a4 )
{
do
{
v8 = x86BiosTranslateAddress(a1, v6);
v9 = *a3;
++v6;
++a3;
*(_BYTE *)v8 = v9;
--v5;
}
while( v5 );
}
return 0i64;
}