35 //

    35 //

    36 // Defines Windows-specific default values. The flags are available on all

    36 // Defines Windows-specific default values. The flags are available on all

    37 // platforms, but they may have different default values on other platforms.

    37 // platforms, but they may have different default values on other platforms.

    38 //

    38 //

    39 define_pd_global(bool, UseLargePages, false);

    39 define_pd_global(bool, UseLargePages, false);

    40 define_pd_global(bool, UseOSErrorReporting, false);  // for now.

    41 define_pd_global(bool, UseOSErrorReporting, false);  // for now.

    41 define_pd_global(bool, UseThreadPriorities, true) ;

    42 define_pd_global(bool, UseThreadPriorities, true) ;