virtual_end       931 drivers/video/fbdev/acornfb.c free_unused_pages(unsigned int virtual_start, unsigned int virtual_end)
virtual_end       939 drivers/video/fbdev/acornfb.c 	virtual_end = PAGE_ALIGN(virtual_end);
virtual_end       941 drivers/video/fbdev/acornfb.c 	while (virtual_start < virtual_end) {