fkvm_userpoke syscall - manual changes
commitbe939f8e5afff05bf6acc5bb7e3ac9fb97a5275e
authorDiego Ongaro <diego.ongaro@rice.edu>
Thu, 2 Oct 2008 14:36:16 +0000 (2 09:36 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Thu, 2 Oct 2008 14:36:16 +0000 (2 09:36 -0500)
treeb28ad0e4cdf6fe84da56a3444eb91638eba5a3bd
parent6de2b8588d44621271fce0167d7b46a626ec0b3a
fkvm_userpoke syscall - manual changes
sys/kern/kern_fkvm.c
sys/kern/syscalls.master