# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1617918947 -7200
# Node ID 94aa665bf1154e5b8ea11d8df5e8c80bc459abb1
# Parent  4c34c6d5a2cc41cb99fcee94c2ba59bf28d67d5a
Ensure two allocated regions for pipes by rounding up to the region size.

diff -r 4c34c6d5a2cc -r 94aa665bf115 pipes/pipe_paging.cc
--- a/pipes/pipe_paging.cc	Wed Apr 07 00:49:13 2021 +0200
+++ b/pipes/pipe_paging.cc	Thu Apr 08 23:55:47 2021 +0200
@@ -10,7 +10,7 @@
 {
     /* Reserve space for two pipe regions. */
 
-    _memory = new MemoryPreallocated(memory, size * 2);
+    _memory = new MemoryPreallocated(memory, round(size, memory->region_size()) * 2);
     _queue = new PageQueuePartitioned();
     _pages = new Pages(_memory, _queue);