Searched refs:ICC_CTLR (Results 1 – 2 of 2) sorted by relevance
23 #define ICC_CTLR __ACCESS_CP15(c12, 0, c12, 4) macro84 write_sysreg(val, ICC_CTLR); in gic_write_ctlr()90 return read_sysreg(ICC_CTLR); in gic_read_ctlr()
123 gicv3_icc_ctlr_read(uint32_t cpu, uint64_t val) "GICv3 ICC_CTLR read cpu 0x%x value 0x%" PRIx64124 gicv3_icc_ctlr_write(uint32_t cpu, uint64_t val) "GICv3 ICC_CTLR write cpu 0x%x value 0x%" PRIx64