60 u32 get_nr_cpus(void)  in get_nr_cpus()  argument
66 u32 get_cpu_rev(void)  in get_cpu_rev()  argument
123 u32 get_cpu_speed_grade_hz(void)  in get_cpu_speed_grade_hz()  argument
213 u32 __weak get_board_rev(void)  in get_board_rev()  argument
227 static void clear_ldo_ramp(void)  in clear_ldo_ramp()  argument
310 static void clear_mmdc_ch_mask(void)  in clear_mmdc_ch_mask()  argument
326 static void init_bandgap(void)  in init_bandgap()  argument
368 int arch_cpu_init(void)  in arch_cpu_init()  argument
454 static int mmc_get_boot_dev(void)  in mmc_get_boot_dev()  argument
479 int mmc_get_env_dev(void)  in mmc_get_env_dev()  argument
509 int board_postclk_init(void)  in board_postclk_init()  argument
583 void reset_misc(void)  in reset_misc()  argument
590 void s_init(void)  in s_init()  argument
635 void imx_enable_hdmi_phy(void)  in imx_enable_hdmi_phy()  argument
651 void imx_setup_hdmi(void)  in imx_setup_hdmi()  argument
686 void gpr_init(void)  in gpr_init()  argument