Lines Matching defs:void

34 int marvell_gpio_config(void)
39 static void marvell_bl31_mpp_init(int cp)
58 void marvell_bl31_mss_init(void)
79 _Bool is_pm_fw_running(void)
92 static void marvell_bl31_security_setup(void)
103 void bl31_plat_arch_setup(void)
106 	uintptr_t *mailbox = (void *)PLAT_MARVELL_MAILBOX_BASE;