VOID __stdcall KiMcheckExit(){
void *v0;
__int16 v1;
unsigned __int64 retaddr;
void *v3;
__int16 v4;
if( (v4 & 4) == 0 )
{
__writemsr(0x17Au, 0i64);
__asm { verw [rsp+arg_18] }
__iretq(v0, v1, retaddr, v3, v4);
}
__writeeflags(retaddr);
__writemsr(0x17Au, 0i64);
__asm
{
verw [rsp+arg_0]
retfq
}
}