Searched refs:dev_sema (Results 1 – 1 of 1) sorted by relevance
129 static sema_t dev_sema; variable340 (void) sema_init(&dev_sema, 1, USYNC_THREAD, NULL); in main()1410 while (sema_wait(&dev_sema) != 0) in lock_dev()1524 (void) sema_post(&dev_sema); in unlock_dev()