Searched defs:vmspace_ctl_args (Results 1 – 1 of 1) sorted by relevance
1114 struct vmspace_ctl_args { struct1115 void * id; char id_[PAD_(void *)];1116 int cmd; char cmd_[PAD_(int)];1117 struct trapframe * tframe; char tframe_[PAD_(struct trapframe *)];1118 struct vextframe * vframe; char vframe_[PAD_(struct vextframe *)];