UINT64 __stdcall HalpFlushTLB(){ UINT64 result; __int16 v1; _disable(); result = KeFlushCurrentTbImmediately(); if( (v1 & 0x200) != 0 ) _enable(); return result; }