[PATCH gnumach] pmap: Add missing PMAP_READ_LOCK fixes uninitialized spl

[Damien Zammit]

---
 i386/intel/pmap.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index 9bcbc279..aa5522b3 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++) {
-- 
2.40.1