VOID __stdcall __noreturn CmSiBugCheck(
PVOID BugCheckParameter1,
PVOID BugCheckParameter2,
PVOID BugCheckParameter3,
PVOID BugCheckParameter4){
KeBugCheckEx(
0x51u,
(ULONG_PTR)BugCheckParameter1,
(ULONG_PTR)BugCheckParameter2,
(ULONG_PTR)BugCheckParameter3,
(ULONG_PTR)BugCheckParameter4);
}