36 //

    36 //

    37 // Defines Linux-specific default values. The flags are available on all

    37 // Defines Linux-specific default values. The flags are available on all

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

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

    39 //

    39 //

    40 define_pd_global(bool, UseLargePages, false);

    40 define_pd_global(bool, UseLargePages, false);

    41 define_pd_global(bool, UseOSErrorReporting, false);

    42 define_pd_global(bool, UseOSErrorReporting, false);

    42 define_pd_global(bool, UseThreadPriorities, true) ;

    43 define_pd_global(bool, UseThreadPriorities, true) ;