pixclock_ps       121 drivers/video/fbdev/mbx/mbxfb.c static unsigned int mbxfb_get_pixclock(unsigned int pixclock_ps,
pixclock_ps       133 drivers/video/fbdev/mbx/mbxfb.c 	pixclock = PICOS2KHZ(pixclock_ps);