MiCheckSystemNxFault

VOID __stdcall MiCheckSystemNxFault(
        UINT64 FaultStatus,
        VOID *VirtualAddress,
        VOID *TrapInformation,
        _MMPTE PteContents,
        UINT64 Code){
  if( (*(_BYTE *)(FaultStatus + 8) & 0x10) != 0 )
  {
    if( ((unsigned __int8)KeFeatureBits & 1) != 0 && ((unsigned __int8)VirtualAddress & 4) != 0 )
      KeBugCheckEx(
        0xFCu,
        *(PVOID *)FaultStatus,
        VirtualAddress,
        *(PVOID *)(FaultStatus + 16),
        (PVOID)((unsigned int)TrapInformation | 0x80000000i64));
    if( (__int64)VirtualAddress < 0 )
      KeBugCheckEx(
        0xFCu,
        *(PVOID *)FaultStatus,
        VirtualAddress,
        *(PVOID *)(FaultStatus + 16),
        (PVOID)(unsigned int)TrapInformation);
  }
}

Referenced by: