Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c45 #define GICD_ICPENDR(n) (0x280 + (n) * 4) macro
322 io_write32(gd->gicd_base + GICD_ICPENDR(0), BIT(n)); in gic_legacy_sync_dist_config()
423 io_write32(gd->gicd_base + GICD_ICPENDR(0), BIT(it)); in gic_init_donate_sgi_to_ns()
605 io_write32(gd->gicd_base + GICD_ICPENDR(n), 0xffffffff); in gic_init_v3()
654 io_write32(gd->gicd_base + GICD_ICPENDR(idx), mask); in gic_it_configure()
932 io_write32(gd->gicd_base + GICD_ICPENDR(idx), mask); in gic_spi_release_to_ns()