Don't mask irqs in default hardware irq handler.

The latest PCI spec requires option roms to call default bios
    handler.  So, the bios must not mask irqs.
Also, make the default hw irq handlers less verbose.
2 files changed
tree: b7951c000a2bc3ea74694bc3110f5cf840b83b1a
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. TODO
  7. src/
  8. tools/