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