| 257 | //------------------------------------------------------------------------------ |
| 258 | |
| 259 | static void Config_thread_pool_size_set |
| 260 | ( |
| 261 | uint nthreads |
| 262 | ) { |
| 263 | config.thread_pool_size = nthreads; |
| 264 | } |
| 265 | |
| 266 | static uint Config_thread_pool_size_get(void) { |
| 267 | return config.thread_pool_size; |