Page MenuHomeFreeBSD

Ensure the ID register fields are 64 bit types.
ClosedPublic

Authored by andrew on Jul 17 2019, 9:20 AM.

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

Repository
rS FreeBSD src repository
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

andrew created this revision.Jul 17 2019, 9:20 AM
andrew updated this revision to Diff 59840.Jul 17 2019, 9:28 AM
  • Fix the mane of ID_AA64MMFR0_PARange_1T
  • Restore ID_AA64PFR0_GIC_BITS
This revision was not accepted when it landed; it landed in state Needs Review.Jul 23 2019, 2:40 PM
This revision was automatically updated to reflect the committed changes.