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