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)
Tue, Nov 18, 2:43 PM
Unknown Object (File)
Tue, Nov 11, 6:16 PM
Unknown Object (File)
Wed, Nov 5, 1:48 PM
Unknown Object (File)
Wed, Nov 5, 4:20 AM
Unknown Object (File)
Tue, Nov 4, 4:37 AM
Unknown Object (File)
Mon, Nov 3, 11:39 PM
Unknown Object (File)
Mon, Nov 3, 3:47 AM
Unknown Object (File)
Oct 16 2025, 11:29 PM
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