pcd /= 100000000 * 2; 
do_div(pcd, 100000000 * 2); 
static inline unsigned int get_pcd(unsigned int pixclock){	unsigned long long pcd;	/* FIXME: Need to take into account Double Pixel Clock mode         * (DPC) bit? or perhaps set it based on the various clock         * speeds */	pcd = (unsigned long long)get_lcdclk_frequency_10khz() * pixclock;	pcd /= 100000000 * 2;	/* no need for this, since we should subtract 1 anyway. they cancel */	/* pcd += 1; */ /* make up for integer math truncations */	return (unsigned int)pcd;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bf1b8ab6f21e1adbab1abd1b4e71c35fe65dc5fe/pxafb.c/clean/drivers/video/pxafb.c