Searched refs:GICD_ITARGETSR (Results 1 – 1 of 1) sorted by relevance
47 #define GICD_ITARGETSR(n) (0x800 + (n) * 4) macro671 GICD_ITARGETSR(it / NUM_TARGETS_PER_REG); in gic_it_set_cpu_mask()886 uint32_t target = io_read32(gd->gicd_base + GICD_ITARGETSR(reg_idx)); in gic_it_get_target()