[PATCH 2/5 gnumach] pmap: Signal cpu for TLB update if kernel_pmap

[Damien Zammit]

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

diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index 0a805e4c..40ddcd6a 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -3013,7 +3013,7 @@ void    signal_cpus(
            cpu_update_needed[which_cpu] = TRUE;
            simple_unlock(&update_list_p->lock);

-           if ((cpus_idle & (1 << which_cpu)) == 0)
+           if (((cpus_idle & (1 << which_cpu)) == 0) || (pmap == kernel_pmap))
                interrupt_processor(which_cpu);
            use_list &= ~(1 << which_cpu);
        }
--
2.34.1