turnstile_exit
turnstile_exit(lp);
turnstile_exit(lp);
turnstile_exit(lp);
turnstile_exit(lp);
turnstile_exit(lp);
extern void turnstile_exit(void *);
turnstile_exit(upimutex);