diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-15 09:55:00 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-15 09:55:00 +0100 |
| commit | 66a3231294db21599b44a8f6e157f4d0ea72c86a (patch) | |
| tree | 7ee3091b923c531af593456f2b97ca1619a37ba1 /kern/machine.c | |
| parent | d6ff5ba739da9bdafee1acfbddbd98839a9b8bfc (diff) | |
| download | gnumach-66a3231294db21599b44a8f6e157f4d0ea72c86a.tar.gz gnumach-66a3231294db21599b44a8f6e157f4d0ea72c86a.tar.bz2 gnumach-66a3231294db21599b44a8f6e157f4d0ea72c86a.zip | |
pmap: Do not send TLB flush IPI when a cpu is idle
MARK_CPU_ACTIVE already knows to flush TLB when a cpu comes out of idle.
However, add memory barriers to be sure that setting cpu_update_needed is
seen before testing for cpus_idle.
Diffstat (limited to 'kern/machine.c')
0 files changed, 0 insertions, 0 deletions