KeIsUserVaAccessAllowed

BOOL __fastcall KeIsUserVaAccessAllowed(INT64 a1){
  BOOL result; 
  unsigned int v2; 
  unsigned int v3; 
  if( KeSmapEnabled )
  {
    if( a1 )
      v2 = *(_DWORD *)(a1 + 376);
    else
      v2 = v3;
    result = v2 >> 18;
    LOBYTE(result) = result;
  }
  else
  {
    LOBYTE(result) = 1;
  }
  return result;
}

Referenced by:

KiQuantumEnd
MiDbgCopyMemory
MiValidFault