HomeFreeBSD

Use a uint64_t to store the arm64 mpidr

Description

Use a uint64_t to store the arm64 mpidr

Use a single uint64_t to hole the mpidr register as we can break the
KBI on 14. Keep the macro so code can still be MFCd to 13.

Sponsored by: Arm Ltd

Details

Provenance
andrewAuthored on Apr 24 2023, 10:24 AM
Parents
rGc9a05c072270: Add a PCI driver that follows the Arm DEN0115 spec
Branches
Unknown
Tags
Unknown