diff options
| -rw-r--r-- | libdiskfs/demuxer.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libdiskfs/demuxer.c b/libdiskfs/demuxer.c index 4e593c21..a1dd1b52 100644 --- a/libdiskfs/demuxer.c +++ b/libdiskfs/demuxer.c @@ -27,13 +27,15 @@ ports_demuxer (mach_msg_header_t *inp, int seqnos_notify_server (mach_msg_header_t *, mach_msg_header_t *); int exec_server (mach_msg_header_t *, mach_msg_header_t *); int pager_demuxer (mach_msg_header_t *, mach_msg_header_t *); + int interrupt_server (mach_msg_header_t *, mach_msg_header_t *); return (io_server (inp, outp) || pager_demuxer (inp, outp) || fs_server (inp, outp) || seqnos_notify_server (inp, outp) || fsys_server (inp, outp) - || exec_server (inp, outp)); + || exec_server (inp, outp) + || interrupt_server (inp, outp)); } |