MmDeleteProcessor

void __fastcall MmDeleteProcessor(__int64 a1){
  unsigned __int64 v1; 
  void *v3; 
  v1 = *(_QWORD *)(a1 + 33280);
  if( v1 )
  {
    MiReleasePtes((INT64)&qword_140C4EC80, (INT64)MmGetPteBase() + ((v1 >> 9) & 0x7FFFFFFFF8i64), 0x40ui64);
    *(_QWORD *)(a1 + 33280) = 0i64;
  }
  v3 = *(void **)(a1 + 32760);
  if( v3 )
  {
    MiDeleteUltraThreadContext((INT64)v3 + 12352);
    ExFreePoolWithTag(v3, 0);
    *(_QWORD *)(a1 + 32760) = 0i64;
  }
}

Referenced by: