taglinefilesource code
video_mem_term153drivers/char/console.cstatic unsigned long  video_mem_term;    /* End of video memory    */
video_mem_term365drivers/char/console.cif (ss > video_mem_term - video_mem_base)
video_mem_term645drivers/char/console.coutb_p(0xff&((video_mem_term-video_mem_base)>>9), video_port_val);
video_mem_term647drivers/char/console.coutb_p(0xff&((video_mem_term-video_mem_base)>>1), video_port_val);
video_mem_term1919drivers/char/console.cvideo_mem_term = 0xb8000;
video_mem_term1925drivers/char/console.cvideo_mem_term = 0xb2000;
video_mem_term1938drivers/char/console.cvideo_mem_term = 0xc0000;
video_mem_term1944drivers/char/console.cvideo_mem_term = 0xba000;
video_mem_term1968drivers/char/console.cvideo_mem_end = video_mem_term;
video_mem_term2023drivers/char/console.cif (video_mem_term - video_mem_base < offset + video_screen_size)
video_mem_term2027drivers/char/console.cvideo_mem_end = video_mem_term;
video_mem_term2051drivers/char/console.cmemsetw((void *)blank_origin, BLANK, video_mem_term-blank_origin);