Searched refs:old_ctlr (Results 1 – 1 of 1) sorted by relevance
201 uint32_t old_ctlr = 0; in probe_max_it() local210 old_ctlr = read_icc_ctlr(); in probe_max_it()213 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it()234 write_icc_ctlr(old_ctlr); in probe_max_it()236 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()