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)
	Sun, Jul 12, 5:48 AM

	Unknown Object (File)
	Sun, Jul 12, 5:47 AM

	Unknown Object (File)
	Wed, Jul 8, 1:55 AM

	Unknown Object (File)
	Thu, Jul 2, 4:41 AM

	Unknown Object (File)
	Sat, Jun 27, 11:47 PM

	Unknown Object (File)
	Sat, Jun 27, 10:03 AM

	Unknown Object (File)
	Thu, Jun 18, 1:54 AM

	Unknown Object (File)
	Wed, Jun 17, 9:29 PM

View All 35 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.Tue, Jun 23, 4:31 PM

Revision Contents
Changeset List

Path

Size

sys/

arm64/

vmm/

4 lines

Diff 177791

sys/arm64/vmm/vmm_hyp.c

Loading...