MiReleasePteCopyList

VOID __fastcall MiReleasePteCopyList(INT64 a1){
  UINT64 v1; 
  v1 = *(unsigned int *)(a1 + 4);
  if( (_DWORD)v1 )
    MiReleasePtes((INT64)&qword_140C4EC80, *(_QWORD *)(a1 + 16), v1);
}

Referenced by: