IRQ: Add range to IRQSrc cap
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Fri, 7 Oct 2016 15:14:07 +0000 (17:14 +0200)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Fri, 14 Oct 2016 16:11:52 +0000 (18:11 +0200)
commitd30a3f6b58a86581f05b6ecc0610c14fab8f2015
treefb5d8b74979b15f002b28518917ae969fa22b1ed
parent9f6c72ff3e48f208aa988a774979e0b34a958786
IRQ: Add range to IRQSrc cap

To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
19 files changed:
capabilities/caps.hl
include/arch/x86_32/barrelfish/invocations_arch.h
include/barrelfish/invocations.h
include/barrelfish/sys_debug.h
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_32/irq.c
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/syscall.c
kernel/include/arch/x86_64/irq.h
lib/barrelfish/arch/aarch64/sys_debug.c
lib/barrelfish/arch/arm/sys_debug.c
lib/barrelfish/arch/x86/sys_debug.c
lib/barrelfish/debug.c
lib/int_route/server/init.c
lib/pci/pci_client.c
usr/kaluga/start_pci.c
usr/kaluga/x86.c
usr/pci/pci_service.c
usr/skb/programs/irq_routing_new.pl