VOID *__stdcall VerifierMmAllocateMappingAddress(UINT64 NumberOfBytes, UINT64 PoolTag){
unsigned int v3;
VOID *v5;
v3 = PoolTag;
if( VfFaultsInjectResourceFailure(0i64) )
return 0i64;
v5 = (VOID *)((__int64(__fastcall *)(UINT64, _QWORD))pXdvMmAllocateMappingAddress)(NumberOfBytes, v3);
VfAllocPoolNotification(v5, NumberOfBytes);
return v5;
}