[SCM] GNU Mach branch, master-user_level_drivers, updated. v1.8-182-gdb1ae5f

[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-user_level_drivers has been updated
       via  db1ae5fb55cc1a46c7d2e5803ba892403c1dd0c1 (commit)
      from  19687f6a94157e866d473ea6dffaadfacec95f55 (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 db1ae5fb55cc1a46c7d2e5803ba892403c1dd0c1
Author: Samuel Thibault <address@hidden>
Date:   Tue Nov 12 20:42:16 2019 +0100

    Replace cli/sti with splhigh/splx
    
    Otherwise calling functions which use spl levels will unexpectedly
    reenable interrupts.

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

Summary of changes:
 device/intr.c | 30 ++++++++++++++----------------
 1 file changed, 14 insertions(+), 16 deletions(-)


hooks/post-receive
-- 
GNU Mach