[SCM] GNU Mach branch, master-user_level_drivers, updated. a80be2d4207e5b369dc1ebadfabcd1b8813c524b

[Zheng Da]

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  a80be2d4207e5b369dc1ebadfabcd1b8813c524b (commit)
       via  23bc9d910200fe8fa0bb2d84be7bec62dd3249ad (commit)
      from  ef5f7971cbdc92370511565d49065b1a5decc6db (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 a80be2d4207e5b369dc1ebadfabcd1b8813c524b
Author: Zheng Da <address@hidden>
Date:   Thu Jun 10 16:59:18 2010 +0200

    fix a race condition in intr_thread.

commit 23bc9d910200fe8fa0bb2d84be7bec62dd3249ad
Author: Zheng Da <address@hidden>
Date:   Thu Jun 10 14:05:34 2010 +0200

    fix a bug in dequeue_intr.
    
    enable irq if no interrupts are found in the queue.

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

Summary of changes:
 device/irq.c |   12 +++++++++---
 1 files changed, 9 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
GNU Mach