Support no-op mutex_lock(NULL) calls in student p2s.