Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c68 #define GICR_CTLR (0x00) macro
243 while (io_read32(gicr_base + GICR_CTLR) & GICR_CTLR_RWP) in gicr_wait_for_pending_write()