v_border_start    131 drivers/video/fbdev/acornfb.c 	vidc.v_border_start	= vidc.v_sync_width + var->upper_margin;
v_border_start    132 drivers/video/fbdev/acornfb.c 	vidc.v_display_start	= vidc.v_border_start;
v_border_start    174 drivers/video/fbdev/acornfb.c 		vidc_writel(0x92000000 | vidc.v_border_start);
v_border_start    235 drivers/video/fbdev/acornfb.c 	printk(KERN_DEBUG " V-border-start   : %d\n", vidc.v_border_start);
v_border_start     68 drivers/video/fbdev/acornfb.h 	u_int	v_border_start;