Searched refs:itargetsr (Results 1 – 1 of 1) sorted by relevance
678 vaddr_t itargetsr = gd->gicd_base + in gic_it_set_cpu_mask() local687 target = io_read32(itargetsr); in gic_it_set_cpu_mask()691 DMSG("cpu_mask: writing %#"PRIx32" to %#" PRIxVA, target, itargetsr); in gic_it_set_cpu_mask()692 io_write32(itargetsr, target); in gic_it_set_cpu_mask()693 DMSG("cpu_mask: %#"PRIx32, io_read32(itargetsr)); in gic_it_set_cpu_mask()