VOID __fastcall CcGetNumberOfMappedPages(INT64 a1, _QWORD *a2, _QWORD *a3){
__int64 v3;
v3 = *(_QWORD *)(a1 + 8);
*a2 = 0i64;
*a3 = 0i64;
if( v3 )
{
ExAcquirePushLockSharedEx(v3 + 104, 0i64);
*a2 = (unsigned __int64)*(unsigned int *)(v3 + 540) << 6;
*a3 = (unsigned __int64)*(unsigned int *)(v3 + 544) << 6;
ExReleasePushLockEx(v3 + 104, 0i64);
}
}