MiCheckSystemNxFault

VOID __fastcall MiCheckSystemNxFault(INT64 a1, INT64 a2, UINT64 a3){
  if( (*(_BYTE *)(a1 + 8) & 0x10) != 0 )
  {
    if( (KeFeatureBits & 1) != 0 && (a2 & 4) != 0 )
      KeBugCheckEx(0xFCu, *(_QWORD *)a1, a2, *(_QWORD *)(a1 + 16), (unsigned int)a3 | 0x80000000i64);
    if( a2 < 0 )
      KeBugCheckEx(0xFCu, *(_QWORD *)a1, a2, *(_QWORD *)(a1 + 16), (unsigned int)a3);
  }
}

Referenced by: