KeMakeKernelDirectoryTableBase

NTSTATUS __fastcall KeMakeKernelDirectoryTableBase(INT64 a1){
  if( KiFlushPcid )
    LODWORD(a1) = a1 | 2;
  return a1;
}