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, Apr 16, 11:37 PM
Unknown Object (File)
Wed, Apr 15, 3:25 AM
Unknown Object (File)
Mon, Apr 13, 6:48 PM
Unknown Object (File)
Sat, Apr 11, 3:49 PM
Unknown Object (File)
Tue, Apr 7, 2:52 PM
Unknown Object (File)
Sun, Apr 5, 9:19 AM
Unknown Object (File)
Sat, Apr 4, 5:39 AM
Unknown Object (File)
Fri, Apr 3, 11:53 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 25380
Build 24022: arc lint + arc unit