Symbol: dwcmshc_get_max_clock