]> Zhao Yanbai Git Server - minix.git/commit
make IS report masked IRQs properly
authorDavid van Moolenbroek <david@minix3.org>
Wed, 26 May 2010 08:44:50 +0000 (08:44 +0000)
committerDavid van Moolenbroek <david@minix3.org>
Wed, 26 May 2010 08:44:50 +0000 (08:44 +0000)
commit7f98ba962afc4c27510f0fefc8d7d544a1477d43
tree94bd6ff4f8aa0620b547da79421fd153ad47d405
parent24764ff47abb9a708d6a6953f3417ee0b65b6cb6
make IS report masked IRQs properly
servers/is/dmp_kernel.c