Home
last modified time | relevance | path

Searched refs:get_gicd_base (Results 1 – 3 of 3) sorted by relevance

/optee_os-3.20.0/core/arch/arm/plat-stm32mp1/
A Dstm32_util.h30 vaddr_t get_gicd_base(void);
A Dmain.c367 vaddr_t get_gicd_base(void) in get_gicd_base() function
/optee_os-3.20.0/core/arch/arm/plat-stm32mp1/pm/
A Dpsci.c129 io_write32(get_gicd_base() + GICD_SGIR, in raise_sgi0_as_secure()

Completed in 5 milliseconds