diff options
| author | Damien Zammit <damien@zamaudio.com> | 2023-08-05 15:49:22 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-08-06 15:40:44 +0200 |
| commit | 7b5132d201722011e6f04cc876d0aebe9afc18c6 (patch) | |
| tree | 9f1feedfb3345ac49dbfaf98fed1425055b93d2b /i386/intel | |
| parent | 955c51b4d43fbeb5b24d70d80203c05cbf2e6894 (diff) | |
| download | gnumach-7b5132d201722011e6f04cc876d0aebe9afc18c6.tar.gz gnumach-7b5132d201722011e6f04cc876d0aebe9afc18c6.tar.bz2 gnumach-7b5132d201722011e6f04cc876d0aebe9afc18c6.zip | |
pmap: Add missing PMAP_READ_LOCK fixes uninitialized spl
Message-Id: <20230805154913.2003121-1-damien@zamaudio.com>
Diffstat (limited to 'i386/intel')
| -rw-r--r-- | i386/intel/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 0bb1a490..42c6207f 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -2462,6 +2462,7 @@ void pmap_collect(pmap_t p) /* * Free the page table tree. */ + PMAP_READ_LOCK(p, spl); #if PAE #ifdef __x86_64__ for (int l4i = 0; l4i < lin2l4num(VM_MAX_USER_ADDRESS); l4i++) { |