IRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Tue, 5 Apr 2016 09:03:23 +0000 (11:03 +0200)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Wed, 6 Apr 2016 08:37:43 +0000 (10:37 +0200)
commit5029b6d05f17576f22983083c9c00e7ed2fb654a
tree7c3099bfb4b6cf6e8276f4162446647812f558e0
parentf60a294c0ae7101a69fbcf70998880409306e755
IRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
allocations.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
capabilities/caps.hl
hake/Config.hs.template
include/pci/pci_client_debug.h
kernel/arch/x86_64/irq.c
kernel/capabilities.c
kernel/include/kcb.h
kernel/kcb.c
lib/barrelfish/debug.c