dlfb_deferred_vfree 1240 drivers/video/fbdev/udlfb.c 			dlfb_deferred_vfree(dlfb, (void __force *)info->screen_base);
dlfb_deferred_vfree 1260 drivers/video/fbdev/udlfb.c 			dlfb_deferred_vfree(dlfb, dlfb->backing_buffer);