VOID __stdcall HvlEndSystemInterrupt(){ if( !_bittestandreset((signed __int32 *)KeGetPcr()->Prcb.VirtualApicAssist, 0) ) __writemsr(0x40000070u, 0i64); }