Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c39 #define GICD_CTLR (0x000) macro
187 io_read32(gd->gicd_base + GICD_CTLR) & GICD_CTLR_ARE_S; in affinity_routing_is_enabled()
629 io_setbits32(gd->gicd_base + GICD_CTLR, GICD_CTLR_ENABLEGRP1S); in gic_init_v3()
636 io_setbits32(gd->gicd_base + GICD_CTLR, in gic_init_v3()
902 DMSG("GICD_CTLR: %#"PRIx32, io_read32(gd->gicd_base + GICD_CTLR)); in gic_dump_state()
/optee_os/
H A DCHANGELOG.md1091 * Do not touch other bits in GICD_CTLR ([#1508])