VOID __stdcall __noreturn KxStartSystemThread(){ void *retaddr; __int64 v1; void(__fastcall *v2)(__int64, void *); if( (_BYTE)KeSmapEnabled ) __stac(); __writecr8(1ui64); v2(v1, retaddr); KeBugCheck(0xEu); }