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
F132567032: D41827.id.diff
Sat, Oct 18, 1:08 AM
F132567031: D41827.id127280.diff
Sat, Oct 18, 1:08 AM
Unknown Object (File)
Fri, Oct 17, 3:18 PM
Unknown Object (File)
Wed, Oct 8, 12:07 AM
Unknown Object (File)
Mon, Sep 29, 4:22 AM
Unknown Object (File)
Sun, Sep 28, 3:20 PM
Unknown Object (File)
Tue, Sep 23, 10:22 AM
Unknown Object (File)
Sep 10 2025, 9:16 PM
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