HomeFreeBSD

arm64: Switch the address argument to cpu_*cache* to a pointer

Description

arm64: Switch the address argument to cpu_*cache* to a pointer

No functional change, but this reduces diffs with CheriBSD downstream.

Reviewed by: andrew
Sponsored by: University of Cambridge, Google, Inc.
Differential Revision: https://reviews.freebsd.org/D44342

Details

Provenance
jhbAuthored on Mar 15 2024, 5:09 PM
Reviewer
andrew
Differential Revision
D44342: arm64: Switch the address argument to cpu_*cache* to a pointer
Parents
rGeab7ae7811f6: arm64 gicv3: Use void pointers instead of vm_offset_t
Branches
Unknown
Tags
Unknown