103 void configure_mmu(void)  in configure_mmu()  argument
270 void stm32mp1_deconfigure_uart_pins(void)  in stm32mp1_deconfigure_uart_pins()  argument
280 uint32_t stm32mp_get_chip_version(void)  in stm32mp_get_chip_version()  argument
297 uint32_t stm32mp_get_chip_dev_id(void)  in stm32mp_get_chip_dev_id()  argument
314 static uint32_t get_part_number(void)  in get_part_number()  argument
335 static uint32_t get_cpu_package(void)  in get_cpu_package()  argument
484 void stm32mp_print_cpuinfo(void)  in stm32mp_print_cpuinfo()  argument
492 void stm32mp_print_boardinfo(void)  in stm32mp_print_boardinfo()  argument
506 bool stm32mp_is_single_core(void)  in stm32mp_is_single_core()  argument
530 uint32_t stm32mp_check_closed_device(void)  in stm32mp_check_closed_device()  argument
563 bool stm32mp_is_auth_supported(void)  in stm32mp_is_auth_supported()  argument
667 bool stm32mp_is_wakeup_from_standby(void)  in stm32mp_is_wakeup_from_standby()  argument
673 uintptr_t stm32_get_bkpr_boot_mode_addr(void)  in stm32_get_bkpr_boot_mode_addr()  argument
679 uintptr_t stm32_get_bkpr_fwu_info_addr(void)  in stm32_get_bkpr_fwu_info_addr()  argument