arm64/vmm: Enforce a data barrier before tlbi for non-VHE
AcceptedPublic
Actions

Authored by jhb on Wed, May 6, 4:44 PM.

Details

Reviewers

andrew
manu

Summary

Exception entry does not include an implicit, architectural data
barrier.

Reported by: Ben Simner <ben.simner@cl.cam.ac.uk>
Fixes: 5577bb2f67ff ("arm64/vmm: Support tlbi from VHE")

Repository

rG FreeBSD src repository

Lint

Lint Skipped

Unit

Tests Skipped

Build Status

Buildable 72856
Build 69739: arc lint + arc unit

jhb created this revision.Wed, May 6, 4:44 PM

jhb requested review of this revision.Wed, May 6, 4:44 PM

This revision is now accepted and ready to land.Fri, May 8, 8:38 AM

Path

Size

sys/

arm64/

vmm/

4 lines