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)
Sat, Oct 26, 11:46 AM
Unknown Object (File)
Mon, Oct 21, 2:32 AM
Unknown Object (File)
Sep 17 2024, 1:27 PM
Unknown Object (File)
Sep 7 2024, 10:09 PM
Unknown Object (File)
Sep 7 2024, 10:09 PM
Unknown Object (File)
Sep 7 2024, 10:02 PM
Unknown Object (File)
Sep 6 2024, 12:00 AM
Unknown Object (File)
Aug 16 2024, 12:15 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