mirror of
https://github.com/MariaDB/server.git
synced 2025-01-23 23:34:34 +01:00
4 lines
251 B
C
4 lines
251 B
C
|
extern "C" bool complain_and_return_true_if_huge_pages_are_enabled(void);
|
||
|
// Effect: Return true if huge pages appear to be enabled. If so, print some diagnostics to stderr.
|
||
|
// If environment variable TOKU_HUGE_PAGES_OK is set, then don't complain.
|