INT64 __stdcall KeFlushRsb(){
unsigned __int8 CurrentIrql;
struct _KPRCB *CurrentPrcb;
INT64 result;
CurrentIrql = KeGetCurrentIrql();
__writecr8(0xCui64);
KiIpiSendPacket(1i64, 0i64, (INT64)KiFlushRsbTarget, 0i64, 0i64, 0i64);
CurrentPrcb = KeGetCurrentPrcb();
while( *((_DWORD *)CurrentPrcb + 2912) )
_mm_pause();
KiFlushCurrentRsb();
result = CurrentIrql;
__writecr8(CurrentIrql);
return result;
}