Checks for non-VCPD mboxs and INDIRs
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 15 Aug 2011 22:24:44 +0000 (15:24 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:06 +0000 (17:36 -0700)
commit2fd6ec0ba4bd097d20e70f61a518e989632dcdfb
tree41d049a71817bbb4eaf0d31cb5dd0eb70f43031c
parentb2e0ab3630ccd4612c2ff74dfb3cc26dbb30a280
Checks for non-VCPD mboxs and INDIRs

Seems the easiest place to check for INDIRs to VCPD mboxes.  It won't
catch all of them btw, but it's userspace's responsibility to not screw
this up too bad.
kern/src/event.c