Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/plat-stm32mp1/pm/
A Dpsci.c123 #define GICD_SGIR 0xF00 macro
127 io_write32(get_gicd_base() + GICD_SGIR, in raise_sgi0_as_secure()
/optee_os/core/drivers/
A Dgic.c42 #define GICD_SGIR (0xF00) macro
357 io_write32(gd->gicd_base + GICD_SGIR, mask); in gic_it_raise_sgi()

Completed in 4 milliseconds