KeBugCheck

VOID *__stdcall __noreturn KeBugCheck(UINT32 BugCheckCode){
  void *v1; 
  void *v2; 
  void *v3; 
  void *v4; 

  KeBugCheckEx(BugCheckCode, v1, v2, v3, v4);
}

Referenced by: