IMX51_N_DPLLS
for (u_int i=1; i <= IMX51_N_DPLLS; ++i) {
KASSERT(1 <= pll_no && pll_no <= IMX51_N_DPLLS);
} sc_pll[IMX51_N_DPLLS];