Searched refs:GICD_ICPENDR (Results 1 – 1 of 1) sorted by relevance
46 #define GICD_ICPENDR(n) (0x280 + (n) * 4) macro330 io_write32(gd->gicd_base + GICD_ICPENDR(0), BIT(n)); in gic_legacy_sync_dist_config()431 io_write32(gd->gicd_base + GICD_ICPENDR(0), BIT(it)); in gic_init_donate_sgi_to_ns()613 io_write32(gd->gicd_base + GICD_ICPENDR(n), 0xffffffff); in gic_init_v3()662 io_write32(gd->gicd_base + GICD_ICPENDR(idx), mask); in gic_it_configure()940 io_write32(gd->gicd_base + GICD_ICPENDR(idx), mask); in gic_spi_release_to_ns()