MI_IS_PHYSICAL_ADDRESS

NTSTATUS __stdcall MI_IS_PHYSICAL_ADDRESS(VOID *Va){
  _MMPTE *PteBase; 
  NTSTATUS v2; 
  __int64 v3; 
  _QWORD *v4; 
  __int64 v6; 
  unsigned __int64 v7; 
  unsigned __int64 v8; 
  unsigned __int64 v9; 
  __int64 v10; 

  PteBase = MmGetPteBase();
  v2 = 4;
  v7 = (unsigned __int64)PteBase + (((unsigned __int64)Va >> 9) & 0x7FFFFFFFF8i64);
  v8 = (unsigned __int64)PteBase + ((v7 >> 9) & 0x7FFFFFFFF8i64);
  v9 = (unsigned __int64)PteBase + ((v8 >> 9) & 0x7FFFFFFFF8i64);
  v10 = (__int64)PteBase + ((v9 >> 9) & 0x7FFFFFFFF8i64);
  v3 = 4i64;
  while( 1 )
  {
    v4 = (_QWORD *)*(&v6 + v3--);
    --v2;
    if( (*v4 & 1) == 0 )
      return 0;
    if( (*v4 & 0x80u) != 0i64 )
      break;
    if( v3 == 1 )
      return 0;
  }
  return v2;
}

Referenced by: