intel_fbdev_framebuffer
fbdev_fb = intel_fbdev_framebuffer(display->fbdev.fbdev);
struct intel_framebuffer *intel_fbdev_framebuffer(struct intel_fbdev *fbdev);
if (intel_fb == intel_fbdev_framebuffer(display->fbdev.fbdev)) {
if (intel_fb == intel_fbdev_framebuffer(display->fbdev.fbdev)) {