HomeFreeBSD

Ensure the arm64 ID register fields are 64 bit types.

Description

Ensure the arm64 ID register fields are 64 bit types.

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.

MFC after: 1 week
Sponsored by: DARPA, AFRL
Differential Revision: https://reviews.freebsd.org/D20977

Details

Provenance
andrewAuthored on
Differential Revision
D20977: Ensure the ID register fields are 64 bit types.
Parents
rS350240: Eliminate rmlock from ipfw's BPF code.
Branches
Unknown
Tags
Unknown