diff options
| author | Damien Zammit <damien@zamaudio.com> | 2023-02-13 08:49:45 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-13 23:57:20 +0100 |
| commit | f9ebee5589f8056ef52c6ecfdf7d6e10f4d34d1c (patch) | |
| tree | 3d1072573df41d54fdba11e0e5729625ad77feb6 | |
| parent | 485d75f1ddf1d620029f6c62ce35efc6ed460d9c (diff) | |
pmap: Signal cpu for TLB update if kernel_pmap
Message-Id: <20230213084919.1157074-3-damien@zamaudio.com>
| -rw-r--r-- | i386/intel/pmap.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |