Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c29 #define GICC_CTLR (0x000) macro
205 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()
206 io_write32(gicc_base + GICC_CTLR, 0); in probe_max_it()
228 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()
352 io_write32(gd->gicc_base + GICC_CTLR, in init_gic_per_cpu()
634 io_write32(gd->gicc_base + GICC_CTLR, GICC_CTLR_FIQEN | in gic_init_v3()
900 DMSG("GICC_CTLR: %#"PRIx32, io_read32(gd->gicc_base + GICC_CTLR)); in gic_dump_state()