/* Calculate the PCD value from the clock rate (in picoseconds). We take account of the PPCR clock setting.  */
static unsigned int get_pcd(unsigned int pixclock, unsigned int cpuclock)
/* Calculate the PCD value from the clock rate (in picoseconds). We take account of the PPCR clock setting.  */
static unsigned int get_pcd(unsigned int pixclock, unsigned int cpuclock)
{
	unsigned int pcd = cpuclock / 100;
	pcd *= pixclock;
	pcd /= 10000000;
	return pcd + 1;
}