Lines Matching defs:void

34 void sbsa_set_gic_bases(const uintptr_t gicd_base, const uintptr_t gicr_base);
35 uintptr_t sbsa_get_gicd(void);
36 uintptr_t sbsa_get_gicr(void);
38 void read_platform_config_from_dt(void *dtb)
96 void read_platform_version(void *dtb)
109 void sip_svc_init(void)
113 	void *dtb = (void *)(uintptr_t)ARM_PRELOADED_DTB_BASE;
142 			       void *cookie,
143 			       void *handle,
173 int sbsa_sip_smc_setup(void)