Searched refs:icc_ctlr_el3 (Results 1 – 3 of 3) sorted by relevance
166 uint64_t icc_ctlr_el3; member
1387 return cs->icc_ctlr_el3 & ICC_CTLR_EL3_EOIMODE_EL3; in icc_eoi_split() 2218 value = cs->icc_ctlr_el3; in icc_ctlr_el3_read() 2261 /* The only bit stored in icc_ctlr_el3 which is writable is EOIMODE_EL3: */ in icc_ctlr_el3_write() 2264 cs->icc_ctlr_el3 &= ~mask; in icc_ctlr_el3_write() 2265 cs->icc_ctlr_el3 |= (value & mask); in icc_ctlr_el3_write() 2420 cs->icc_ctlr_el3 = ICC_CTLR_EL3_NDS | ICC_CTLR_EL3_A3V | in icc_reset()
210 VMSTATE_UINT64(icc_ctlr_el3, GICv3CPUState),