Page MenuHomeFreeBSD

arm64/vmm: Support tlbi from VHE
ClosedPublic

Authored by andrew on Jul 23 2024, 11:20 AM.
Tags
None
Referenced Files
Unknown Object (File)
Wed, Sep 11, 11:16 AM
Unknown Object (File)
Sun, Sep 8, 5:53 PM
Unknown Object (File)
Sun, Sep 8, 11:23 AM
Unknown Object (File)
Sat, Sep 7, 7:43 PM
Unknown Object (File)
Sat, Aug 31, 1:15 PM
Unknown Object (File)
Sat, Aug 31, 10:35 AM
Unknown Object (File)
Fri, Aug 30, 3:54 AM
Unknown Object (File)
Aug 20 2024, 5:48 PM
Subscribers

Details

Summary

When invalidating the stage 2 TLB we need to ensure page tables updates
have completed and for tlbi vmalle1is the HCR_EL2 TGE flag needs to be
clear.

To fix the former add a data barrier before the tlbi instructions. On
non-VHE this will happen as part of the exception entry, so is only
needed for VHE.

The tlbi vmalle1is instruction operates on the EL2 & 0 regime when
HCR_EL2 E2H and TGE flags are both set. By clearing the TGE flag it
will stop this and operate on the EL1 & 0 regime we are expecting.

Sponsored by: Arm Ltd

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

This revision was not accepted when it landed; it landed in state Needs Review.Aug 20 2024, 9:03 AM
This revision was automatically updated to reflect the committed changes.