MiBadRefCount

VOID __stdcall __noreturn MiBadRefCount(_MMPFN *Pfn1, UINT64 a2){
  KeBugCheckEx(0x4Eu, 0x9Aui64, (Pfn1 - MmGetPfnDb()) / 48, *((_BYTE *)Pfn1 + 34) & 7, *((unsigned __int16 *)Pfn1 + 16));
}

Referenced by: