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.c73 #define GICR_CTLR (GICR_RD_BASE_OFFSET + 0x0000) macro
251 while (io_read32(gicr_base + GICR_CTLR) & GICR_CTLR_RWP) in gicr_wait_for_pending_write()