# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1705189539 -3600
# Node ID c0137675a035ef1969508f88eab9f447e2cb9817
# Parent  d0d5b338ad26ecdc4558519cd58387232d7d1cc6
Introduced a common definition for the memory area boundary between the region
mapper and the actual program to be run.

diff -r d0d5b338ad26 -r c0137675a035 libexec/include/exec/common.h
--- a/libexec/include/exec/common.h	Fri Jan 12 01:33:58 2024 +0100
+++ b/libexec/include/exec/common.h	Sun Jan 14 00:45:39 2024 +0100
@@ -1,7 +1,7 @@
 /*
  * Common structures and functions.
  *
- * Copyright (C) 2022, 2023 Paul Boddie <paul@boddie.org.uk>
+ * Copyright (C) 2022, 2023, 2024 Paul Boddie <paul@boddie.org.uk>
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License as
@@ -32,6 +32,7 @@
 /* Common definitions. */
 
 #define ENV_INTERNAL_PAGER_NAME "intpager"
+#define MEM_INTERNAL_PAGER_LIMIT (10 * L4_PAGESIZE)
 
 
 
diff -r d0d5b338ad26 -r c0137675a035 libexec/lib/src/process_creating.cc
--- a/libexec/lib/src/process_creating.cc	Fri Jan 12 01:33:58 2024 +0100
+++ b/libexec/lib/src/process_creating.cc	Sun Jan 14 00:45:39 2024 +0100
@@ -85,7 +85,7 @@
 
 long ProcessCreating::init_external_pager(l4_cap_idx_t *pager)
 {
-  _exec_pager = new ExternalPager(0, 10 * L4_PAGESIZE);
+  _exec_pager = new ExternalPager(0, MEM_INTERNAL_PAGER_LIMIT);
   _exec_pager->set_monitor(_monitor);
 
   /* Initialise pager regions for the region mapper. */
diff -r d0d5b338ad26 -r c0137675a035 libexec/rm/region_mapper.cc
--- a/libexec/rm/region_mapper.cc	Fri Jan 12 01:33:58 2024 +0100
+++ b/libexec/rm/region_mapper.cc	Sun Jan 14 00:45:39 2024 +0100
@@ -1,7 +1,7 @@
 /*
  * A region mapper for deployment in a new task.
  *
- * Copyright (C) 2022, 2023 Paul Boddie <paul@boddie.org.uk>
+ * Copyright (C) 2022, 2023, 2024 Paul Boddie <paul@boddie.org.uk>
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License as
@@ -35,7 +35,7 @@
 /* Initialise a pager for programs, reserving space below the allocated regions
    for the region mapper itself. */
 
-static InternalPager exec_pager(L4_PAGESIZE * 10);
+static InternalPager exec_pager(MEM_INTERNAL_PAGER_LIMIT);