Symbol: DPLL_PIN_FREQUENCY