Lines Matching defs:void

33 void marvell_setup_page_tables(uintptr_t total_base,
51 		(void *) total_base, (void *) (total_base + total_size));
58 		(void *) code_start, (void *) code_limit);
65 		(void *) rodata_start, (void *) rodata_limit);
73 		(void *) coh_start, (void *) coh_limit);
86 unsigned long plat_get_ns_image_entrypoint(void)
95 uint32_t marvell_get_spsr_for_bl32_entry(void)
108 uint32_t marvell_get_spsr_for_bl33_entry(void)
133 const mmap_region_t *plat_marvell_get_mmap(void)