nouveau_svm_fault_buffer_fini  771 drivers/gpu/drm/nouveau/nouveau_svm.c 	nouveau_svm_fault_buffer_fini(svm, id);
nouveau_svm_fault_buffer_fini  826 drivers/gpu/drm/nouveau/nouveau_svm.c 		nouveau_svm_fault_buffer_fini(svm, 0);