Added current core_id so we can properly reroute interrupts after moving kcb.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 24 Jan 2014 13:29:59 +0000 (14:29 +0100)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 14 Oct 2014 06:50:10 +0000 (08:50 +0200)
commit10188087a1ac4339771e9f82358f9ae1ca1f6e7c
tree37874a15e1c981c163adcbccad4c5f937b2e37d3
parentd7342d88b1d30ec6f54715299d8a96367c457f35
Added current core_id so we can properly reroute interrupts after moving kcb.
include/barrelfish/domain.h
include/barrelfish_kpi/dispatcher_shared.h
kernel/arch/x86/startup_x86.c
kernel/arch/x86_64/syscall.c
kernel/include/kcb.h
kernel/kcb.c
kernel/syscall.c
lib/barrelfish/domain.c
lib/pci/pci_client.c