MiSetPfnOriginalPte

VOID __fastcall MiSetPfnOriginalPte(INT64 a1, INT64 a2){
  *(_QWORD *)(a1 + 16) = a2;
}

Referenced by: