Lines Matching defs:void

30 static void gxl_pm_set_reset_addr(u_register_t mpidr, uint64_t value)
38 static void gxl_pm_reset(u_register_t mpidr)
46 static void __dead2 gxl_system_reset(void)
77 static void __dead2 gxl_system_off(void)
128 static void gxl_pwr_domain_on_finish(const psci_power_state_t *target_state)
147 static void gxl_pwr_domain_off(const psci_power_state_t *target_state)
162 static void __dead2 gxl_pwr_domain_pwr_down_wfi(const psci_power_state_t
184 		((void(*)(void))gxl_sec_entrypoint)();