taglinefilesource code
video_mem_term195drivers/char/console.cstatic unsigned long  video_mem_term;    /* End of video memory    */
video_mem_term407drivers/char/console.cif (ss > video_mem_term - video_mem_base)
video_mem_term687drivers/char/console.coutb_p(0xff&((video_mem_term-video_mem_base)>>9), video_port_val);
video_mem_term689drivers/char/console.coutb_p(0xff&((video_mem_term-video_mem_base)>>1), video_port_val);
video_mem_term1972drivers/char/console.cvideo_mem_term = 0xb8000;
video_mem_term1978drivers/char/console.cvideo_mem_term = 0xb2000;
video_mem_term1991drivers/char/console.cvideo_mem_term = 0xc0000;
video_mem_term1997drivers/char/console.cvideo_mem_term = 0xba000;
video_mem_term2021drivers/char/console.cvideo_mem_end = video_mem_term;
video_mem_term2078drivers/char/console.cif (video_mem_term - video_mem_base < offset + video_screen_size)
video_mem_term2082drivers/char/console.cvideo_mem_end = video_mem_term;
video_mem_term2106drivers/char/console.cmemsetw((void *)blank_origin, BLANK, video_mem_term-blank_origin);