Page MenuHomeFreeBSD

arm64: Mark the Thumb spsr_el1 field as 32-bit
Needs ReviewPublic

Authored by andrew on Sep 12 2023, 3:27 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sun, Aug 2, 1:32 AM
Unknown Object (File)
Sat, Aug 1, 7:15 AM
Unknown Object (File)
Jul 4 2026, 5:51 PM
Unknown Object (File)
Jun 24 2026, 9:25 PM
Unknown Object (File)
Jun 22 2026, 5:29 PM
Unknown Object (File)
Jun 11 2026, 6:10 PM
Unknown Object (File)
Apr 28 2026, 11:57 PM
Unknown Object (File)
Apr 28 2026, 3:17 AM
Subscribers

Details

Reviewers
manu
Group Reviewers
arm64
Summary

This field is reserved when spsr_el1 is set for a 64-bit userspace.
Mark it as 32-bit only to make it easier to tell from code using it.

Sponsored by: Arm Ltd

Diff Detail

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