x86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 18 Aug 2015 16:24:44 +0000 (18:24 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 18 Aug 2015 16:24:44 +0000 (18:24 +0200)
commit83bc38bd9da7bc52175e6b7f0ef3b9889baa7d85
treef5fb58975bd3cd12bb9174503ba11b7ab2216ea0
parent6a207cf70329426e74e74c4c8985be8dc75d8b56
x86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/arch/x86_64/barrelfish/syscall_arch.h