diff options
author | Miod Vallat <miod@cvs.openbsd.org> | 2009-05-15 22:59:08 +0000 |
---|---|---|
committer | Miod Vallat <miod@cvs.openbsd.org> | 2009-05-15 22:59:08 +0000 |
commit | c38525da63f69afbdf3eb2d6740e009d7c8a68bc (patch) | |
tree | ca4f7cfdaf676a098dcb6eed69846155599321d6 /gnu/lib/libreadline/util.c | |
parent | 8a5fe27d0fd51c4c8bb0f3702ee9efd4e8d70b8b (diff) |
Don't forget to make sure IMR writes hit the hardware (by reading back
from the Hub) before continuing (this was missing in one place).
Also exit early from the interrupt mask handling loop if all sources have
been serviced.
Diffstat (limited to 'gnu/lib/libreadline/util.c')
0 files changed, 0 insertions, 0 deletions