update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / coregrind / m_syswrap / syswrap-x86-l4re.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_syswrap/syswrap-x86-l4re.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_syswrap/syswrap-x86-l4re.c
index af3c11685cdc6fc234e6ba253ba13aa7224828c5..04f098190f36e201304de23cd6b075d7562f6d7f 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_syswrap/syswrap-x86-l4re.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_syswrap/syswrap-x86-l4re.c
@@ -327,7 +327,6 @@ void print_infos_to_syscall(l4_msgtag_t *tag, ThreadId tid) {
             FOO(EXCEPTION);
             FOO(SIGMA0);
             FOO(IO_PAGE_FAULT);
-            FOO(CAP_FAULT);
             FOO(FACTORY);
             FOO(TASK);
             FOO(THREAD);