DBAR1             708 drivers/video/fbdev/sa1100fb.c 	    readl_relaxed(fbi->base + DBAR1) != fbi->dbar1 ||
DBAR1             798 drivers/video/fbdev/sa1100fb.c 	writel_relaxed(fbi->dbar1, fbi->base + DBAR1);
DBAR1             805 drivers/video/fbdev/sa1100fb.c 	dev_dbg(fbi->dev, "DBAR1: 0x%08x\n", readl_relaxed(fbi->base + DBAR1));