Searched refs:get_gicc_base (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/arch/arm/plat-stm32mp1/
A D	main.c	161 gic_init(&gic_data, get_gicc_base(), get_gicd_base()); in main_init_gic() 195 vaddr_t get_gicc_base(void) in get_gicc_base() function
A D	stm32_util.h	27 vaddr_t get_gicc_base(void);

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023