DBAR2             709 drivers/video/fbdev/sa1100fb.c 	    readl_relaxed(fbi->base + DBAR2) != fbi->dbar2)
DBAR2             799 drivers/video/fbdev/sa1100fb.c 	writel_relaxed(fbi->dbar2, fbi->base + DBAR2);
DBAR2             806 drivers/video/fbdev/sa1100fb.c 	dev_dbg(fbi->dev, "DBAR2: 0x%08x\n", readl_relaxed(fbi->base + DBAR2));