armada_fbdev_fini   77 drivers/gpu/drm/armada/armada_drm.h void armada_fbdev_fini(struct drm_device *);
armada_fbdev_fini  169 drivers/gpu/drm/armada/armada_drv.c 	armada_fbdev_fini(&priv->drm);
armada_fbdev_fini  185 drivers/gpu/drm/armada/armada_drv.c 	armada_fbdev_fini(&priv->drm);