vbox_mm_fini      101 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_mm_fini(vbox);
vbox_mm_fini      119 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_mm_fini(vbox);
vbox_mm_fini      165 drivers/gpu/drm/vboxvideo/vbox_drv.h void vbox_mm_fini(struct vbox_private *vbox);