sys_vmspace_ctl
{ AS(vmspace_ctl_args), 4, (sy_call_t *)sys_vmspace_ctl }, /* 488 = vmspace_ctl */
int sys_vmspace_ctl (struct sysmsg *sysmsg, const struct vmspace_ctl_args *);