Home
last modified time | relevance | path

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

/optee_os/core/drivers/
A Dgic.c21 #define GICC_CTLR (0x000) macro
108 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()
109 io_write32(gicc_base + GICC_CTLR, 0); in probe_max_it()
131 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()
161 io_write32(gd->gicc_base + GICC_CTLR, in gic_cpu_init()
205 io_write32(gd->gicc_base + GICC_CTLR, GICC_CTLR_FIQEN | in gic_init()
410 DMSG("GICC_CTLR: 0x%x", io_read32(gd->gicc_base + GICC_CTLR)); in gic_dump_state()

Completed in 3 milliseconds