exynos5422_clock_print_header
static void exynos5422_clock_print_header(void);
exynos5422_clock_print_header();