nvif_user_fini     16 drivers/gpu/drm/nouveau/include/nvif/user.h void nvif_user_fini(struct nvif_device *);
nvif_user_fini     40 drivers/gpu/drm/nouveau/nvif/device.c 	nvif_user_fini(device);