Searched refs:new_diskpage_buffer (Results 1 – 1 of 1) sorted by relevance
11965 Uint64 new_diskpage_buffer = 4 * 1024 * 1024; // Configured minimum value in changeStartDiskPageBufMem() local11967 (Uint64)new_diskpage_buffer); in changeStartDiskPageBufMem()