Page MenuHomeFreeBSD

arm64: Also populate tpidr_el2
Needs ReviewPublic

Authored by andrew on Tue, Oct 22, 5:37 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Nov 1, 6:52 AM
Unknown Object (File)
Sun, Oct 27, 8:53 PM
Unknown Object (File)
Sun, Oct 27, 3:17 AM
Unknown Object (File)
Sun, Oct 27, 1:35 AM
Unknown Object (File)
Fri, Oct 25, 4:16 PM
Unknown Object (File)
Wed, Oct 23, 6:08 AM
Subscribers

Details

Reviewers
manu
Group Reviewers
arm64
Summary

When enabling the Software Delegated Exception Interface (SDEI) the
firmware may trash tpidr_el1. As this is used to store the per-cpu
data pointer this causes issues when we need to access this memory,
e.g. in a non-SDEI exception.

Fix this by also storing the per-CPU pointer value in tpidr_el2 when
in VHE as this isn't trashed.

Sponsored by: Arm Ltd

Diff Detail

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