Searched refs:TSEI (Results 1 - 2 of 2) sorted by relevance
| /gem5/src/dev/arm/ | ||
| H A D | gic_v3_cpu_interface.hh | 202 Bitfield<13> TSEI; member in class:Gicv3CPUInterface |
| H A D | gic_v3_cpu_interface.cc | 1434 ich_hcr_el2.TSEI = requested_ich_hcr_el2.TSEI; |
Completed in 14 milliseconds