[SCM] GNU Mach branch, master, updated. v1.8-569-g66a32312

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Mach".

The branch, master has been updated
       via  66a3231294db21599b44a8f6e157f4d0ea72c86a (commit)
      from  d6ff5ba739da9bdafee1acfbddbd98839a9b8bfc (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 66a3231294db21599b44a8f6e157f4d0ea72c86a
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Feb 15 09:55:00 2023 +0100

    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.

-----------------------------------------------------------------------

Summary of changes:
 i386/intel/pmap.c | 3 ++-
 i386/intel/pmap.h | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
GNU Mach