master
system-calls
Refactor synch.c to remove code duplication in lock release See merge request lab2425_autumn/pintos_22!23