leo_wait          293 drivers/video/fbdev/leo.c 	leo_wait(lx_krn);
leo_wait          459 drivers/video/fbdev/leo.c 	leo_wait(lx_krn);