v_border_end      134 drivers/video/fbdev/acornfb.c 	vidc.v_border_end	= vidc.v_display_end;
v_border_end      177 drivers/video/fbdev/acornfb.c 		vidc_writel(0x95000000 | vidc.v_border_end);
v_border_end      238 drivers/video/fbdev/acornfb.c 	printk(KERN_DEBUG " V-border-end     : %d\n", vidc.v_border_end);
v_border_end       71 drivers/video/fbdev/acornfb.h 	u_int	v_border_end;