Symbol: vextframe
sys/platform/vkernel64/include/thread.h
44
struct vextframe mtd_savevext;
sys/sys/sysproto.h
1118
struct vextframe * vframe; char vframe_[PAD_(struct vextframe *)];
sys/sys/vkernel.h
76
struct vextframe save_vextframe;
sys/sys/vkernel.h
78
struct vextframe *user_vextframe;
sys/sys/vmspace.h
50
struct vextframe;
sys/sys/vmspace.h
61
int vmspace_ctl (void *, int, struct trapframe *, struct vextframe *);