# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1666913536 -7200
# Node ID b9adf9bd71cd8c9f0d03c32e8fb864be24d94367
# Parent  772313e983a06b15722c9a499b2b87d221c7bad7
Fixed (or at least improved) reserved flexpage generation for larger page sizes.

diff -r 772313e983a0 -r b9adf9bd71cd libexec/lib/src/process.cc
--- a/libexec/lib/src/process.cc	Thu Oct 27 01:22:39 2022 +0200
+++ b/libexec/lib/src/process.cc	Fri Oct 28 01:32:16 2022 +0200
@@ -35,13 +35,15 @@
 {
   /* UTCB location and size. */
 
-  int utcb_log2size = page_order(pages * Default_max_threads * L4_UTCB_OFFSET);
+  int utcb_log2size = page_order(Default_max_threads * L4_UTCB_OFFSET);
 
   /* Round up to at least one page. */
 
   if (utcb_log2size < L4_PAGESHIFT)
     utcb_log2size = L4_PAGESHIFT;
 
+  utcb_log2size = page_order(pages * (1UL << utcb_log2size));
+
   return l4_fpage(Utcb_area_start + page * (1UL << utcb_log2size), utcb_log2size, 0);
 }