diff options
Diffstat (limited to 'xen/common/event_channel.c')
| -rw-r--r-- | xen/common/event_channel.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index 6f6e707667..29d10ef3d2 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -26,6 +26,7 @@ #include <public/xen.h> #include <public/event_channel.h> +#include <acm/acm_hooks.h> #define bucket_from_port(d,p) \ ((d)->evtchn[(p)/EVTCHNS_PER_BUCKET]) @@ -587,6 +588,9 @@ long do_event_channel_op(evtchn_op_t *uop) if ( copy_from_user(&op, uop, sizeof(op)) != 0 ) return -EFAULT; + if (acm_pre_event_channel(&op)) + return -EACCES; + switch ( op.cmd ) { case EVTCHNOP_alloc_unbound: |