__ttm_read_lock    80 drivers/gpu/drm/vmwgfx/ttm_lock.c 					       __ttm_read_lock(lock));
__ttm_read_lock    82 drivers/gpu/drm/vmwgfx/ttm_lock.c 		wait_event(lock->queue, __ttm_read_lock(lock));