syscall_ret        77 bsp/hal/x86/arch/context.c 		k->eip = (uint32_t)&syscall_ret;
syscall_ret       107 sys/kern/thread.c 	context_set(&t->ctx, CTX_KENTRY, (register_t)&syscall_ret);