diff options
| author | Luca Dariz <luca@orpolo.org> | 2023-02-12 18:28:17 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-12 19:13:48 +0100 |
| commit | eef53f7a1309e52012babc62da81a2ac750a7e9f (patch) | |
| tree | facd946449a10cd4e4339fa7ec61a267e591ef76 /include/mach/time_value.h | |
| parent | f8d840ae46e014d3c65021e169c32e5e39c9ab5a (diff) | |
| download | gnumach-eef53f7a1309e52012babc62da81a2ac750a7e9f.tar.gz gnumach-eef53f7a1309e52012babc62da81a2ac750a7e9f.tar.bz2 gnumach-eef53f7a1309e52012babc62da81a2ac750a7e9f.zip | |
separate initialization of kernel and user PTP tables
* i386/i386/vm_param.h: temporariliy fix kernel upper address
* i386/intel/pmap.c: split kernel and user L3 map initialization. For
simplicity in handling the different configurations, on 32-bit
(+PAE) the name PDPNUM_KERNEL is used in place of PDPNUM, while only
on x86_64 the PDPNUM_USER and PDPNUM_KERNEL are treated differently.
Also, change iterating over PTP tables in case the kernel map is not
right after the user map.
* i386/intel/pmap.h: define PDPNUM_USER and PDPNUM_KERNEL and move
PDPSHIFT to simplify ifdefs.
Message-Id: <20230212172818.1511405-9-luca@orpolo.org>
Diffstat (limited to 'include/mach/time_value.h')
0 files changed, 0 insertions, 0 deletions