Searched refs:old_ctlr (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/drivers/
A D	gic.c	96 uint32_t old_ctlr; in probe_max_it() local 105 old_ctlr = read_icc_ctlr(); in probe_max_it() 108 old_ctlr = io_read32(gicc_base + GICC_CTLR); in probe_max_it() 129 write_icc_ctlr(old_ctlr); in probe_max_it() 131 io_write32(gicc_base + GICC_CTLR, old_ctlr); in probe_max_it()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023