Searched refs:gicr_temp (Results 1 – 1 of 1) sorted by relevance
731 uint64_t gicr_xbaser, gicr_temp; in lpi_config_cpu() local777 gicr_temp = gic_r_read(gic_sc, 8, GICR_PROPBASER); in lpi_config_cpu()779 if (((gicr_xbaser ^ gicr_temp) & GICR_PROPBASER_SHARE_MASK) != 0) { in lpi_config_cpu()