rump_lwproc_switch
void rump_lwproc_switch(struct lwp *);
rump_lwproc_switch(l);
.hyp_lwproc_switch = rump_lwproc_switch,
rump_lwproc_switch(initlwp);
rump_lwproc_switch(NULL);
rump_lwproc_switch(arg1);
rump_lwproc_switch(l);
rump_lwproc_switch(&lwp0);