KeBugCheck

VOID __stdcall __noreturn KeBugCheck(UINT64 BugCheckCode){
  ULONG_PTR v1; 
  ULONG_PTR v2; 
  ULONG_PTR v3; 
  ULONG_PTR v4; 
  KeBugCheckEx(BugCheckCode, v1, v2, v3, v4);
}

Referenced by: