MiSetPfnKernelStack

VOID __fastcall MiSetPfnKernelStack(_QWORD *a1, UINT64 a2){
  *a1 ^= (*a1 ^ (a2 >> 3)) & 0xFFFFFFFFFFEi64;
  if( a2 )
  {
    if( (*(_BYTE *)a1 & 1) == 0 )
      MiMarkPfnTradable((INT64)a1, 1i64);
  }
}

Referenced by:

MiInPageSingleKernelStack