Searched refs:itargetsr (Results 1 – 1 of 1) sorted by relevance
670 vaddr_t itargetsr = gd->gicd_base + in gic_it_set_cpu_mask() local679 target = io_read32(itargetsr); in gic_it_set_cpu_mask()683 DMSG("cpu_mask: writing %#"PRIx32" to %#" PRIxVA, target, itargetsr); in gic_it_set_cpu_mask()684 io_write32(itargetsr, target); in gic_it_set_cpu_mask()685 DMSG("cpu_mask: %#"PRIx32, io_read32(itargetsr)); in gic_it_set_cpu_mask()