void __fastcall __noreturn CmSiBugCheck(
PVOID BugCheckParameter1,
PVOID BugCheckParameter2,
PVOID BugCheckParameter3,
PVOID BugCheckParameter4){
KeBugCheckEx(0x51u, BugCheckParameter1, BugCheckParameter2, BugCheckParameter3, BugCheckParameter4);
}