Exynos4412에서 sclk_uart0 ~ 4까지의 clock들의 주파수는 어떻게 알 수 있을까여?

찾아 봐도 정말 ㅠㅠ 모르겠더군여..

고수님들의 답변 부탁드령여... ㅠㅠ;