Kvm vgic

[ramosian-glider]

trafficstars

---

Before sending a pull request, please review Contribution Guidelines: https://github.com/google/syzkaller/blob/master/docs/contributing.md

---

[ramosian-glider]

I had to rename the ICC registers because the old toolchain in syz-old-env didn't recognize them.

[ramosian-glider]

PTAL (take your time, not sure it's the best idea to land the series today)

[ramosian-glider]

What's interesting is that the coverage with this series went down by ~500 BBs and gained back only ~300 during the day. Perhaps changes that add device attributes need to be landed separately to better understand their effect.

[dvyukov]

What's interesting is that the coverage with this series went down by ~500 BBs and gained back only ~300 during the day. Perhaps changes that add device attributes need to be landed separately to better understand their effect.

If it does not restore, potentially it's possible to look at a diff coverage report.

[ramosian-glider]

@dvyukov PTAL

[ramosian-glider]

What's interesting is that the coverage with this series went down by ~500 BBs and gained back only ~300 during the day. Perhaps changes that add device attributes need to be landed separately to better understand their effect.

If it does not restore, potentially it's possible to look at a diff coverage report.

I tested the patches adding device attributes separately, and they were able to gain the same coverage as master.