Differential D56855

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

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

Tags

None

Referenced Files

	Unknown Object (File)
	Sat, Aug 29, 5:14 PM

	Unknown Object (File)
	Fri, Aug 28, 9:50 PM

	Unknown Object (File)
	Sat, Aug 15, 10:40 AM

	Unknown Object (File)
	Thu, Aug 13, 11:20 AM

	Unknown Object (File)
	Wed, Aug 12, 11:27 PM

	Unknown Object (File)
	Wed, Aug 12, 12:40 AM

	Unknown Object (File)
	Tue, Aug 11, 6:04 PM

	Unknown Object (File)
	Mon, Aug 10, 10:58 AM

View All 54 Files

Subscribers

Details

Reviewers

andrew
manu

Commits

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

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 Not Applicable

Unit

Tests Not Applicable

Event Timeline

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

Herald added a reviewer: manu. · View Herald TranscriptMay 6 2026, 4:44 PM

Herald added subscribers: emaste, imp. · View Herald Transcript

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

Harbormaster completed remote builds in B72856: Diff 177318.May 6 2026, 4:44 PM

andrew accepted this revision.May 8 2026, 8:38 AM

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

Closed by commit rG04987aa1d809: arm64/vmm: Enforce a data barrier before tlbi for non-VHE (authored by jhb). · Explain WhyMay 13 2026, 4:34 PM

This revision was automatically updated to reflect the committed changes.

jhb added a commit: rG04987aa1d809: arm64/vmm: Enforce a data barrier before tlbi for non-VHE.

jhb added a commit: rG655013d5f4a6: arm64/vmm: Enforce a data barrier before tlbi for non-VHE.Jun 23 2026, 4:31 PM

Revision Contents
Changeset List

Path

Size

sys/

arm64/

vmm/

4 lines

Diff 177791

sys/arm64/vmm/vmm_hyp.c

Loading...