Lines Matching defs:void

107 static void rpi3_cpu_standby(plat_local_state_t cpu_state)
119 static void rpi3_pwr_domain_off(const psci_power_state_t *target_state)
157 static void rpi3_pwr_domain_on_finish(const psci_power_state_t *target_state)
168 static void __dead2 rpi3_pwr_down_wfi(
202 static void __dead2 rpi3_watchdog_reset(void)
224 static void __dead2 rpi3_system_reset(void)
231 static void __dead2 rpi3_system_off(void)
268 	uintptr_t *entrypoint = (void *) PLAT_RPI3_TM_ENTRYPOINT;