Page MenuHomeFreeBSD

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

Authored by jhb on Wed, May 6, 4:44 PM.
Tags
None
Referenced Files
F155993925: D56855.diff
Sun, May 10, 3:59 AM
F155874129: D56855.id177318.diff
Sat, May 9, 1:33 PM
Unknown Object (File)
Fri, May 8, 6:26 PM
Unknown Object (File)
Fri, May 8, 7:32 AM
Unknown Object (File)
Fri, May 8, 7:32 AM
Subscribers

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")

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 72856
Build 69739: arc lint + arc unit