INT64 __fastcall HvlpFastAcknowledgePageRequest(INT64 a1, _QWORD *a2, INT64 *a3){
INT64 result;
UINT64 v5;
INT64 a1a;
LODWORD(v5) = 0;
LODWORD(a1a) = 65702;
HIDWORD(a1a) = a1 & 0xFFF;
result = HvcallFastExtended(a1a, a2, (unsigned int)(40 * a1), 0i64, v5);
*(_DWORD *)a3 = WORD2(result) & 0xFFF;
return result;
}