Add sys_send_event() (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 17 Feb 2017 19:04:53 +0000 (14:04 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 17 Feb 2017 19:04:53 +0000 (14:04 -0500)
commit76f8e22473981fe19de7cfa8317d70881f720810
treec4d3280f270b9c64116b752726d6ae1d2534f57a
parente69031e8009ec039e46553856add63e21e7c2b16
Add sys_send_event() (XCC)

This syscall sends an event message to a specific event queue.  Given that
it's all in the user's shared memory, I didn't make a version of this that
works between processes.  Without a way for the target process to specify
the ev_q pointer, (such as the the kernel_events array), it seems extremely
dangerous to do IPC with this.

It's actually possible for userspace to post messages to its mboxes, under
certain circumstances.  In the future, I might have a parlib function that
tries that and falls back to the kernel for the cases where the user could
not do it.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/ros/bits/syscall.h
kern/src/syscall.c
tests/strace.c
user/parlib/include/parlib/parlib.h
user/parlib/syscall.c