Lines Matching defs:void

21 void stm32mp_save_boot_ctx_address(uintptr_t address);
22 uintptr_t stm32mp_get_boot_ctx_address(void);
23 uint16_t stm32mp_get_boot_itf_selected(void);
25 bool stm32mp_is_single_core(void);
26 bool stm32mp_is_closed_device(void);
27 bool stm32mp_is_auth_supported(void);
30 uintptr_t stm32mp_ddrctrl_base(void);
33 uintptr_t stm32mp_ddrphyc_base(void);
36 uintptr_t stm32mp_pwr_base(void);
39 uintptr_t stm32mp_rcc_base(void);
41 void stm32mp_gic_pcpu_init(void);
42 void stm32mp_gic_init(void);
45 bool stm32mp_lock_available(void);
69 int stm32mp_uart_console_setup(void);
72 void stm32mp_setup_early_console(void);
74 static inline void stm32mp_setup_early_console(void)
98 int stm32_get_gpio_bank_pinctrl_node(void *fdt, unsigned int bank);
101 uint32_t stm32mp_get_chip_version(void);
103 uint32_t stm32mp_get_chip_dev_id(void);
107 void stm32mp_get_soc_name(char name[STM32_SOC_NAME_SIZE]);
110 void stm32mp_print_cpuinfo(void);
113 void stm32mp_print_boardinfo(void);
116 void stm32mp_io_setup(void);
119 int stm32mp_map_ddr_non_cacheable(void);
120 int stm32mp_unmap_ddr(void);
123 void stm32_save_boot_info(boot_api_context_t *boot_context);
125 void stm32_get_boot_interface(uint32_t *interface, uint32_t *instance);
127 uintptr_t stm32_get_bkpr_boot_mode_addr(void);
130 void stm32_display_board_info(uint32_t board_id);
133 void stm32mp1_fwu_set_boot_idx(void);
134 uint32_t stm32_get_and_dec_fwu_trial_boot_cnt(void);
135 void stm32_set_max_fwu_trial_boot_cnt(void);