Searched refs:old_ctlr (Results 1 – 1 of 1) sorted by relevance
193 uint32_t old_ctlr = 0; in probe_max_it() local202 old_ctlr = read_icc_ctlr(); in probe_max_it()205 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()226 write_icc_ctlr(old_ctlr); in probe_max_it()228 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()