switchframe_init   73 kern/include/threadprivate.h void switchframe_init(struct thread *,
switchframe_init  529 kern/thread/thread.c 	switchframe_init(newthread, entrypoint, data1, data2);