VOID __stdcall HvlEndSystemInterrupt(){ if( !_bittestandreset(*((signed __int32 **)KeGetPcr() + 4257), 0) ) __writemsr(0x40000070u, 0i64); }