x86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles
[barrelfish] / LICENSE
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.