Searched refs:vmspace_ctl (Results 1 – 5 of 5) sorted by relevance
61 int vmspace_ctl (void *, int, struct trapframe *, struct vextframe *);
262 struct vmspace_ctl_args vmspace_ctl; member
256 vmspace_ctl.o \
297 vmspace_ctl;
1411 r = vmspace_ctl(id, VMSPACE_CTL_RUN, tf, in go_user()