KiBugCheckDispatch

void __fastcall __noreturn KiBugCheckDispatch(UINT32 a1, void *a2, void *a3, void *a4){
  void *BugCheckParameter4; 

  KeBugCheckEx(a1, a2, a3, a4, BugCheckParameter4);
}

Referenced by: