Searched refs:opmr (Results 1 – 1 of 1) sorted by relevance
800 const uint32_t opmr = icc_pmr_read(); in gicv3_cpuif_is_nonsecure() local803 icc_pmr_write(opmr); in gicv3_cpuif_is_nonsecure()