MiReturnPteMappingPair

VOID __fastcall MiReturnPteMappingPair(INT64 a1){
  unsigned __int8 v1; 
  __int64 v2; 
  v1 = *(_BYTE *)(a1 + 8);
  if( v1 == 17 )
  {
    MiReleasePtes((INT64)&qword_140C4EC80, *(_QWORD *)(a1 + 16), 2ui64);
  }
  else
  {
    v2 = *((_QWORD *)KeGetCurrentPrcb() + 4095);
    if( v2 )
    {
      *(_QWORD *)(v2 + 12344) = 0i64;
      v1 = *(_BYTE *)(a1 + 8);
    }
    __writecr8(v1);
  }
}

Referenced by: