diff options
| author | Luca Dariz <luca@orpolo.org> | 2023-02-12 18:28:14 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-12 18:54:38 +0100 |
| commit | 5c2f82deeba84394c621b2d98ce7d73489c88ac3 (patch) | |
| tree | a27049ee1acdc1037c02bfa56051c631b1fa8682 /kern/task.c | |
| parent | fccebe66ff8cbcae6e30f6c1cfbff34d9e2a151e (diff) | |
| download | gnumach-5c2f82deeba84394c621b2d98ce7d73489c88ac3.tar.gz gnumach-5c2f82deeba84394c621b2d98ce7d73489c88ac3.tar.bz2 gnumach-5c2f82deeba84394c621b2d98ce7d73489c88ac3.zip | |
use L4 page table directly on x86_64 instead of short-circuiting to pdpbase
This is a preparation to run the kernel on high addresses, where the
user vm region and the kernel vm region will use different L3 page
tables.
* i386/intel/pmap.c: on x86_64, retrieve the value of pdpbase from the
L4 table, and add the pmap_pdp() helper (useful also for PAE).
* i386/intel/pmap.h: remove pdpbase on x86_64.
Message-Id: <20230212172818.1511405-6-luca@orpolo.org>
Diffstat (limited to 'kern/task.c')
0 files changed, 0 insertions, 0 deletions