}
void video_scroll_down(unsigned long start, /* HIGH addr */
unsigned long end, /* LOW addr */
unsigned long dest) /* HIGH addr */
{
}
void video_scroll_down(unsigned long start, /* HIGH addr */
unsigned long end, /* LOW addr */
unsigned long dest) /* HIGH addr */
{