1.1 --- a/libexec/lib/src/process.cc Thu Oct 27 01:22:39 2022 +0200
1.2 +++ b/libexec/lib/src/process.cc Fri Oct 28 01:32:16 2022 +0200
1.3 @@ -35,13 +35,15 @@
1.4 {
1.5 /* UTCB location and size. */
1.6
1.7 - int utcb_log2size = page_order(pages * Default_max_threads * L4_UTCB_OFFSET);
1.8 + int utcb_log2size = page_order(Default_max_threads * L4_UTCB_OFFSET);
1.9
1.10 /* Round up to at least one page. */
1.11
1.12 if (utcb_log2size < L4_PAGESHIFT)
1.13 utcb_log2size = L4_PAGESHIFT;
1.14
1.15 + utcb_log2size = page_order(pages * (1UL << utcb_log2size));
1.16 +
1.17 return l4_fpage(Utcb_area_start + page * (1UL << utcb_log2size), utcb_log2size, 0);
1.18 }
1.19