dev_off          1508 drivers/video/fbdev/via/viafbdev.c 	u32 dev_on, dev_off, dev_old, dev_new;
dev_off          1515 drivers/video/fbdev/via/viafbdev.c 	dev_off = dev_old & ~dev_new;
dev_off          1519 drivers/video/fbdev/via/viafbdev.c 	via_set_state(dev_off, VIA_STATE_OFF);
dev_off          1548 drivers/video/fbdev/via/viafbdev.c 	u32 dev_on, dev_off, dev_old, dev_new;
dev_off          1555 drivers/video/fbdev/via/viafbdev.c 	dev_off = dev_old & ~dev_new;
dev_off          1559 drivers/video/fbdev/via/viafbdev.c 	via_set_state(dev_off, VIA_STATE_OFF);