HalpMmFreeTiledMemoryMap

INT64 __fastcall HalpMmFreeTiledMemoryMap(UINT64 *a1){
  __int64 v1; 
  __int64 v3; 
  INT64 result; 
  __int64 v5; 
  v1 = 0i64;
  v3 = 16i64;
  do
  {
    result = v1 + 16i64 * *(unsigned int *)a1;
    v5 = *(_QWORD *)(HiberFreeCR3 + 8 * result);
    if( v5 )
    {
      HalpMmAllocCtxFree((__int64)a1, v5);
      result = v1 + 16i64 * *(unsigned int *)a1;
      *(_QWORD *)(HiberFreeCR3 + 8 * result) = 0i64;
    }
    ++v1;
    --v3;
  }
  while( v3 );
  return result;
}

Referenced by:

HalpBuildResumeStructures
HalpFreeResumeStructures
HalpInterruptStartProcessor
HalpMmBuildTiledMemoryMap