MAX_PLL_VCO_RATE 1764 drivers/mfd/db8500-prcmu.c ((r * MAX_PLL_VCO_RATE) < (2 * d))) MAX_PLL_VCO_RATE 1925 drivers/mfd/db8500-prcmu.c ((r * MAX_PLL_VCO_RATE) < (2 * hwrate)))