On 2/15/23 02:49, Pierrick Bouvier wrote:
I'm not an expert on this area, but I imagine that booting a full VM will force TCG to
emit code at the same address twice (after having generated enough translated blocks),
which shows that generic flush_idcache_range works. Is that reasoning correct?
Do you think we still need a specialized version for windows-arm64?
No, I don't think so. It would be ideal if we were able to read CTR_EL0, because we make
use of the IDC field, but 0 is a safe default.
r~
