Searched refs:GICD_ISENABLER (Results 1 – 1 of 1) sorted by relevance
42 #define GICD_ISENABLER(n) (0x100 + (n) * 4) macro213 old_reg = io_read32(gicd_base + GICD_ISENABLER(i)); in probe_max_it()214 io_write32(gicd_base + GICD_ISENABLER(i), 0xffffffff); in probe_max_it()215 reg = io_read32(gicd_base + GICD_ISENABLER(i)); in probe_max_it()332 io_write32(gd->gicd_base + GICD_ISENABLER(0), in gic_legacy_sync_dist_config()735 io_write32(base + GICD_ISENABLER(idx), mask); in gic_it_enable()868 return !!(io_read32(gd->gicd_base + GICD_ISENABLER(idx)) & mask); in gic_it_is_enabled()