KiSetUserTbFlushPending

VOID __stdcall KiSetUserTbFlushPending(){
  __writegsdword(0x9018u, __readgsdword(0x9018u) | 1);
}

Referenced by: