Page MenuHomeFreeBSD

Ensure the ID register fields are 64 bit types.
ClosedPublic

Authored by andrew on Jul 17 2019, 9:20 AM.
Tags
None
Referenced Files
Unknown Object (File)
Thu, Oct 16, 11:29 PM
Unknown Object (File)
Thu, Oct 16, 11:29 PM
Unknown Object (File)
Thu, Oct 16, 11:29 PM
Unknown Object (File)
Thu, Oct 16, 11:29 PM
Unknown Object (File)
Thu, Oct 16, 2:41 PM
Unknown Object (File)
Fri, Oct 10, 3:38 AM
Unknown Object (File)
Sat, Oct 4, 11:12 AM
Unknown Object (File)
Aug 15 2025, 12:31 AM
Subscribers

Details

Summary

Previously only some of the ID register fields were 64 bit. To allow
for a script to generate these mark them all 64 bit. To allow for their
use in assembly we need to use the UINT64_C macro via a new UL macro
to stop the lines from being too long.

Diff Detail

Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 25381
Build 24023: arc lint + arc unit